Numerical invariants through convex relaxation and max-strategy iteration (Q2248100): Difference between revisions

@@ Property / arXiv ID @@
+.1147
@@ Property / arXiv ID: 1204.1147 / rank @@
+Normal rank
@@ Property / cites work @@
+Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Template-Based Unbounded Time Verification of Affine Hybrid Automata
+Normal rank
@@ Property / cites work @@
+Discretizing Affine Hybrid Automata with Uncertainty
+Normal rank
@@ Property / cites work @@
+Exponential Lower Bounds for Policy Iteration
@@ Property / cites work: Exponential Lower Bounds for Policy Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Precise Relational Invariants Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely
+Normal rank
@@ Property / cites work @@
+Abstract interpretation meets convex optimization
@@ Property / cites work: Abstract interpretation meets convex optimization / 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 @@
+Proving Termination by Policy Iteration
@@ Property / cites work: Proving Termination by Policy Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529777
@@ Property / cites work: Q4529777 / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+A generic ellipsoid abstract domain for linear time invariant systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A Policy Iteration Technique for Time Elapse over Template Polyhedra
+Normal rank
@@ Property / cites work @@
+Semidefinite optimization
@@ Property / cites work: Semidefinite optimization / rank @@
+Normal rank