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

@@ Property / Wikidata QID @@
+Q113317770
@@ Property / Wikidata QID: Q113317770 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.10.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2229490248
@@ Property / OpenAlex ID: W2229490248 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2520672