debugging first integration with SpaceEx

schillic / dreal

dReal: An SMT Solver for Nonlinear Theories of the Reals

http://dreal.cs.cmu.edu

GNU General Public License v3.0

0 stars 0 forks source link

Closed scungao closed 9 years ago

scungao commented 9 years ago

print intervals over time?

schillic commented 9 years ago

fixed Problem was: misunderstanding of time interval. If T = [l, r], we are interested in the reachable states when time is in [l, r].