Improving Strategies via SMT Solving (Q3000582): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3121218067
@@ Property / OpenAlex ID: W3121218067 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2812
@@ Property / arXiv ID: 1101.2812 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs
+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 @@
+Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings.
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive fixed point theorem for min-max functions
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Static Analysis by Policy Iteration on Relational Domains
+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 @@
+Polynomial Precise Interval Analysis Revisited
@@ Property / cites work: Polynomial Precise Interval Analysis Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Games through Nested Fixpoints
@@ Property / cites work: Games through Nested Fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely
+Normal rank
@@ Property / cites work @@
+Combining Widening and Acceleration in Linear Relation Analysis
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+On Nonterminating Stochastic Games
@@ Property / cites work: On Nonterminating Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3266141
@@ Property / cites work: Q3266141 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis by Abstract Interpretation: A Mathematical Programming Approach
+Normal rank
@@ Property / cites work @@
+Accelerated Data-Flow Analysis
@@ Property / cites work: Accelerated Data-Flow Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976517
@@ Property / cites work: Q3976517 / 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 Quantifier Elimination Algorithm for Linear Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Automatic modular abstractions for linear constraints
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets and the polynomial-time hierarchy
@@ Property / cites work: Complete sets and the polynomial-time hierarchy / rank @@
+Normal rank