Policy iteration in finite templates domain (Q2520672): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2015.10.002
@@ Property / DOI: 10.1016/j.entcs.2015.10.002 / 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 @@
+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 @@
+Q4779970
@@ Property / cites work: Q4779970 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis by Policy Iteration on Relational Domains
+Normal rank
@@ Property / cites work @@
+Q3395491
@@ Property / cites work: Q3395491 / rank @@
+Normal rank
@@ Property / cites work @@
+Inf-convolution, sous-additivite, convexite des fonctions numériques
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations for semialgebraic problems
+Normal rank
@@ Property / cites work @@
+A generic ellipsoid abstract domain for linear time invariant systems
+Normal rank
@@ Property / cites work @@
+Characterizations of Strong Regularity for Variational Inequalities over Polyhedral Convex Sets
+Normal rank
@@ Property / cites work @@
+Abstract convexity:examples and applications
@@ Property / cites work: Abstract convexity:examples and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4339231
@@ Property / cites work: Q4339231 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2015.10.002
@@ Property / DOI: 10.1016/J.ENTCS.2015.10.002 / rank @@
+Normal rank