Counterexample-Guided Refinement of Template Polyhedra (Q3303915): Difference between revisions

@@ Property / describes a project that uses @@
+XSpeed
@@ Property / describes a project that uses: XSpeed / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mosek
@@ Property / describes a project that uses: Mosek / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PHAVer
@@ Property / describes a project that uses: PHAVer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2602950602
@@ Property / OpenAlex ID: W2602950602 / rank @@
+Normal rank
@@ Property / cites work @@
+Second-order cone programming
@@ Property / cites work: Second-order cone programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417924
@@ Property / cites work: Q4417924 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Redundant Constraints for Refinement
@@ Property / cites work: Using Redundant Constraints for Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming
+Normal rank
@@ Property / cites work @@
+Quantifier-free encoding of invariants for hybrid systems
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelotope Bundles for Polynomial Reachability
@@ Property / cites work: Parallelotope Bundles for Polynomial Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating spurious transitions in reachability with support functions
+Normal rank
@@ Property / cites work @@
+Flowpipe approximation and clustering in space-time
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Hybrid Systems Using Support Functions
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants
@@ Property / cites work: Lazy Abstraction with Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+An exact duality theory for semidefinite programming and its complexity implications
+Normal rank
@@ Property / cites work @@
+Q4235027
@@ Property / cites work: Q4235027 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
+Normal rank