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

@@ Property / author @@
-Ernst-Ruediger Olderog
@@ Property / author: Ernst-Ruediger Olderog / rank @@
-Normal rank
@@ Property / author @@
+Ernst-Ruediger Olderog
@@ Property / author: Ernst-Ruediger Olderog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / 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.1007/978-3-642-39698-4_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2131457664
@@ Property / OpenAlex ID: W2131457664 / rank @@
+Normal rank
@@ 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