Differential dynamic logic for hybrid systems (Q1040772): Difference between revisions

@@ Property / cites work @@
+Q4763590
@@ Property / cites work: Q4763590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552457
@@ Property / cites work: Q4552457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417974
@@ Property / cites work: Q4417974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753599
@@ Property / cites work: Q2753599 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Logic with Non-rigid Functions
@@ Property / cites work: Dynamic Logic with Non-rigid Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Universal computation and other capabilities of hybrid and continuous dynamical systems
+Normal rank
@@ Property / cites work @@
+A unified framework for hybrid control: model and optimal control theory
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Verification of cooperating traffic agents
@@ Property / cites work: Verification of cooperating traffic agents / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Verification of Cooperation, Control, and Design in Traffic Applications
+Normal rank
@@ Property / cites work @@
+Q4246811
@@ Property / cites work: Q4246811 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539640
@@ Property / cites work: Q4539640 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability with polynomial differential equations
+Normal rank
@@ Property / cites work @@
+The liberalized \(\delta\)-rule in free variable semantic tableaux
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of clocked and hybrid systems
@@ Property / cites work: Verification of clocked and hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249569
@@ Property / cites work: Q4249569 / rank @@
+Normal rank
@@ Property / cites work @@
+On differentiability of Peano type functions
@@ Property / cites work: On differentiability of Peano type functions / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q3997917
@@ Property / cites work: Q3997917 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Dynamic Logic for Verifying Parametric Hybrid Systems
+Normal rank
@@ Property / cites work @@
+A Temporal Dynamic Logic for Verifying Hybrid System Invariants
+Normal rank
@@ Property / cites work @@
+The Image Computation Problem in Hybrid Systems Model Checking
+Normal rank
@@ Property / cites work @@
+Hybrid action systems
@@ Property / cites work: Hybrid action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051278
@@ Property / cites work: Q4051278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential automata and their discrete simulators
+Normal rank
@@ Property / cites work @@
+Cooperation of background reasoners in theory reasoning by residue sharing
+Normal rank
@@ Property / cites work @@
+Q4418865
@@ Property / cites work: Q4418865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838091
@@ Property / cites work: Q3838091 / rank @@
+Normal rank