Pages that link to "Item:Q5254190"
From MaRDI portal
The following pages link to Verification and synthesis using real quantifier elimination (Q5254190):
Displaying 15 items.
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (Q475420) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Better answers to real questions (Q898260) (← links)
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Automatic generation of bounds for polynomial systems with application to the Lorenz system (Q1755304) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- A Roadmap to Decidability (Q5258981) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)
- Faster one block quantifier elimination for regular polynomial systems of equations (Q6666546) (← links)
