Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (Q475420): Difference between revisions

@@ Property / cites work @@
+Q4472553
@@ Property / cites work: Q4472553 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A posteriori direction selection rules for interval optimization methods
+Normal rank
@@ Property / cites work @@
+Subdivision Direction Selection in Interval Methods for Global Optimization
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Revised CPA method to compute Lyapunov functions for nonlinear systems
+Normal rank
@@ Property / cites work @@
+Efficient handling of universally quantified inequalities
+Normal rank
@@ Property / cites work @@
+Weak and strong solvability of interval linear systems of equations and inequalities
+Normal rank
@@ Property / cites work @@
+Testing positiveness of polynomials
@@ Property / cites work: Testing positiveness of polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Guaranteed tuning, with application to robust control and motion planning
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+SOSTOOLS and Its Control Applications
@@ Property / cites work: SOSTOOLS and Its Control Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Search heuristics for box decomposition methods
@@ Property / cites work: Search heuristics for box decomposition methods / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / cites work @@
+Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Polynomial Loop Invariants
+Normal rank
@@ Property / cites work @@
+Linear interval inequalities
@@ Property / cites work: Linear interval inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing invariants for hybrid systems
@@ Property / cites work: Constructing invariants for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and synthesis using real quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank