Searching for "Reach Set Computations Using Real Quantifier Elimination." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Reach Set Computations Using Real Quantifier Elimination
- …Reach set computations using real quantier elimination Hirokazu Anai Computer System Laboratories…
- Cited by 25 (0 self) – Add To MetaCart
-
Applications of Real First-Order Constraint Solving Bibliography
- … Conference 2000, pages 1312--1316, 2000. [5] H. Anai and V. Weispfenning. Reach set computation using real…
- Cited by 2 (2 self) – Add To MetaCart
-
EXISTS([w, z, a], [[-2,2], [-2,2], [0, \infty]],
- … using real quantifier elimination. In Proceedings of International Workshop on Hybrid Systems…
- Add To MetaCart
Showing 1 through 3.
