Proving safety of traffic manoeuvres on country roads

Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger (2013) Proving safety of traffic manoeuvres on country roads. In: Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science . Springer, Berlin, pp. 196-212. ISBN 9783642396977

Full text not available from this repository.


We adapt the Multi-lane Spatial Logic MLSL, introduced in [1] for proving the safety (collision freedom) of traffic manoeuvres on multi-lane motorways, where all cars drive in one direction, to the setting of country roads with two-way traffic. To this end, we need suitably refined sensor functions and length measurement in MLSL. Our main contribution is to show that also here we can separate the purely spatial reasoning from the underlying car dynamics in the safety proof.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
22 Jun 2021 12:35
Last Modified:
16 Jul 2024 05:03