TY - RPRT TI - Constraint Exploration and Envelope of Simulation Trajectories AU - Oswaldo Teran AU - Bruce Edmonds AU - Steve Wallis PY - 2000 UR - https://arxiv.org/abs/cs/0007001 ID - cs/0007001 ER -