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. Lecture Notes in Computer Science . Springer, Berlin, pp. 196-212. ISBN 9783642396977

Full text not available from this repository.

Abstract

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:
155630
Deposited By:
Deposited On:
22 Jun 2021 12:35
Refereed?:
Yes
Published?:
Published
Last Modified:
06 Oct 2021 09:52