Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637): Difference between revisions

@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatisation and decidability of multi-dimensional Duration Calculus
+Normal rank
@@ Property / cites work @@
+Verified hybrid controllers for automated vehicles
+Normal rank
@@ Property / cites work @@
+Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
+Normal rank
@@ Property / cites work @@
+Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
+Normal rank
@@ Property / cites work @@
+Verification of cooperating traffic agents
@@ Property / cites work: Verification of cooperating traffic agents / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Theory of a Multi-Lane Spatial Logic
@@ Property / cites work: Proof Theory of a Multi-Lane Spatial Logic / rank @@
+Normal rank