Home > Research > Publications & Outputs > Proving safety of traffic manoeuvres on country...

Links

Text available via DOI:

View graph of relations

Proving safety of traffic manoeuvres on country roads

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

Published
Close
Publication date2013
Host publicationTheories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
EditorsZhiming Liu, Jim Woodcock, Huibiao Zhu
Place of PublicationBerlin
PublisherSpringer
Pages196-212
Number of pages17
ISBN (electronic)9783642396984
ISBN (print)9783642396977
<mark>Original language</mark>English

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8051
ISSN (Print)0302-9743
ISSN (electronic)1611-3349

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.