Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2230509950
@@ Property / OpenAlex ID: W2230509950 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01648
@@ Property / arXiv ID: 1601.01648 / rank @@
+Normal rank
@@ Property / cites work @@
+All for the Price of Few
@@ Property / cites work: All for the Price of Few / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
+Normal rank
@@ Property / cites work @@
+PTIME parametric verification of safety properties for reasonable linear hybrid automata
+Normal rank
@@ Property / cites work @@
+Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
+Normal rank
@@ Property / cites work @@
+A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
+Normal rank
@@ Property / cites work @@
+PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD
+Normal rank
@@ Property / cites work @@
+On Local Reasoning in Verification
@@ Property / cites work: On Local Reasoning in Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On Hierarchical Reasoning in Combinations of Theories
+Normal rank
@@ Property / cites work @@
+Parameterized Synthesis
@@ Property / cites work: Parameterized Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Complete Reasoning about Axiomatic Specifications
+Normal rank
@@ Property / cites work @@
+Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified Differential Dynamic Logic for Distributed Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Reasoning for the Verification of Parametric Systems
+Normal rank
@@ Property / cites work @@
+Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Real addition and the polynomial hierarchy
@@ Property / cites work: Real addition and the polynomial hierarchy / rank @@
+Normal rank