Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860): Difference between revisions

@@ Property / cites work @@
+Timed Alternating-Time Temporal Logic
@@ Property / cites work: Timed Alternating-Time Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
+Normal rank
@@ Property / cites work @@
+The Spotlight Principle
@@ Property / cites work: The Spotlight Principle / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Verification of Hybrid Systems with Large Discrete State Space
+Normal rank
@@ Property / cites work @@
+Towards Component Based Design of Hybrid Systems: Safety and Stability
+Normal rank
@@ Property / cites work @@
+Mind the Shapes: Abstraction Refinement Via Topology Invariants
+Normal rank
@@ Property / cites work @@
+Compositional abstractions of hybrid control systems
+Normal rank
@@ Property / cites work @@
+Bounded Synthesis
@@ Property / cites work: Bounded Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Timed Simulation Relations for Hybrid Systems and Compositionality
+Normal rank
@@ Property / cites work @@
+Unbeast: Symbolic Bounded Synthesis
@@ Property / cites work: Unbeast: Symbolic Bounded Synthesis / rank @@
+Normal rank