An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228): Difference between revisions

@@ Property / author @@
-Alessandro Cimatti
@@ Property / author: Alessandro Cimatti / rank @@
-Normal rank
@@ Property / author @@
-Marco Roveri
@@ Property / author: Marco Roveri / rank @@
-Normal rank
@@ Property / author @@
+Alessandro Cimatti
@@ Property / author: Alessandro Cimatti / rank @@
+Normal rank
@@ Property / author @@
+Marco Roveri
@@ Property / author: Marco Roveri / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62041107
@@ Property / Wikidata QID: Q62041107 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathSAT5
@@ Property / describes a project that uses: MathSAT5 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OpenSMT
@@ Property / describes a project that uses: OpenSMT / 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.artint.2015.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2057587325
@@ Property / OpenAlex ID: W2057587325 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic controllability via timed game automata
@@ Property / cites work: Dynamic controllability via timed game automata / rank @@
+Normal rank
@@ Property / cites work @@
+Solving strong controllability of temporal problems with uncertainty using SMT
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Q5550848
@@ Property / cites work: Q5550848 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Model-based Theory Combination
@@ Property / cites work: Model-based Theory Combination / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Simplexity of the cube
@@ Property / cites work: Simplexity of the cube / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Term-ITE Conversion for Satisfiability Modulo Theories
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A Quantifier Elimination Algorithm for Linear Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Controllability of Disjunctive Temporal Problems with Uncertainty
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions
+Normal rank
@@ Property / cites work @@
+Efficient solution techniques for disjunctive temporal reasoning problems
+Normal rank
@@ Property / cites work @@
+Handling contingency in temporal constraint networks: from consistency to controllabilities
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:892228