Standard
Proving safety of traffic manoeuvres on country roads. / Hilscher, Martin
; Linker, Sven; Olderog, Ernst-Rüdiger.
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. ed. / Zhiming Liu; Jim Woodcock; Huibiao Zhu. Berlin: Springer, 2013. p. 196-212 (Lecture Notes in Computer Science; Vol. 8051).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review
Harvard
Hilscher, M
, Linker, S & Olderog, E-R 2013,
Proving safety of traffic manoeuvres on country roads. in Z Liu, J Woodcock & H Zhu (eds),
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science, vol. 8051, Springer, Berlin, pp. 196-212.
https://doi.org/10.1007/978-3-642-39698-4_12APA
Vancouver
Hilscher M
, Linker S, Olderog ER.
Proving safety of traffic manoeuvres on country roads. In Liu Z, Woodcock J, Zhu H, editors, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Berlin: Springer. 2013. p. 196-212. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-39698-4_12
Author
Hilscher, Martin
; Linker, Sven ; Olderog, Ernst-Rüdiger. /
Proving safety of traffic manoeuvres on country roads. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. editor / Zhiming Liu ; Jim Woodcock ; Huibiao Zhu. Berlin : Springer, 2013. pp. 196-212 (Lecture Notes in Computer Science).
Bibtex
@inbook{dc13694ab9344501afb6b317aa306a8d,
title = "Proving safety of traffic manoeuvres on country roads",
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.",
author = "Martin Hilscher and Sven Linker and Ernst-R{\"u}diger Olderog",
year = "2013",
doi = "10.1007/978-3-642-39698-4_12",
language = "English",
isbn = "9783642396977",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "196--212",
editor = "Zhiming Liu and Jim Woodcock and Huibiao Zhu",
booktitle = "Theories of Programming and Formal Methods",
}
RIS
TY - CHAP
T1 - Proving safety of traffic manoeuvres on country roads
AU - Hilscher, Martin
AU - Linker, Sven
AU - Olderog, Ernst-Rüdiger
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-642-39698-4_12
DO - 10.1007/978-3-642-39698-4_12
M3 - Chapter (peer-reviewed)
SN - 9783642396977
T3 - Lecture Notes in Computer Science
SP - 196
EP - 212
BT - Theories of Programming and Formal Methods
A2 - Liu, Zhiming
A2 - Woodcock, Jim
A2 - Zhu, Huibiao
PB - Springer
CY - Berlin
ER -
