Standard
Proof Theory of a Multi-Lane Spatial Logic. /
Linker, Sven; Hilscher, Martin.
Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. ed. / Zhiming Liu; Jim Woodcock; Huibiao Zhu. Berlin: Springer, 2013. p. 231-248 (Lecture Notes in Computer Science; Vol. 8049).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review
Harvard
APA
Vancouver
Linker S, Hilscher M.
Proof Theory of a Multi-Lane Spatial Logic. In Liu Z, Woodcock J, Zhu H, editors, Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. Berlin: Springer. 2013. p. 231-248. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-39718-9_14
Author
Linker, Sven ; Hilscher, Martin. /
Proof Theory of a Multi-Lane Spatial Logic. Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. editor / Zhiming Liu ; Jim Woodcock ; Huibiao Zhu. Berlin : Springer, 2013. pp. 231-248 (Lecture Notes in Computer Science).
Bibtex
@inbook{d5755d52079e4a59b14d9f34a60b65cb,
title = "Proof Theory of a Multi-Lane Spatial Logic",
abstract = "We extend the Multi-lane Spatial Logic MLSL, introduced in previous work for proving the safety (collision freedom) of traffic maneuvers on a multi-lane highway, by length measurement and dynamic modalities. We investigate the proof theory of this extension, called EMLSL. To this end, we prove the undecidability of EMLSL but nevertheless present a sound proof system which allows for reasoning about the safety of traffic situations. We illustrate the latter by giving a formal proof for a lemma we could only prove informally before.",
author = "Sven Linker and Martin Hilscher",
year = "2013",
doi = "10.1007/978-3-642-39718-9_14",
language = "English",
isbn = "9783642397172",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "231--248",
editor = "Zhiming Liu and Jim Woodcock and Huibiao Zhu",
booktitle = "Theoretical Aspects of Computing – ICTAC 2013",
}
RIS
TY - CHAP
T1 - Proof Theory of a Multi-Lane Spatial Logic
AU - Linker, Sven
AU - Hilscher, Martin
PY - 2013
Y1 - 2013
N2 - We extend the Multi-lane Spatial Logic MLSL, introduced in previous work for proving the safety (collision freedom) of traffic maneuvers on a multi-lane highway, by length measurement and dynamic modalities. We investigate the proof theory of this extension, called EMLSL. To this end, we prove the undecidability of EMLSL but nevertheless present a sound proof system which allows for reasoning about the safety of traffic situations. We illustrate the latter by giving a formal proof for a lemma we could only prove informally before.
AB - We extend the Multi-lane Spatial Logic MLSL, introduced in previous work for proving the safety (collision freedom) of traffic maneuvers on a multi-lane highway, by length measurement and dynamic modalities. We investigate the proof theory of this extension, called EMLSL. To this end, we prove the undecidability of EMLSL but nevertheless present a sound proof system which allows for reasoning about the safety of traffic situations. We illustrate the latter by giving a formal proof for a lemma we could only prove informally before.
U2 - 10.1007/978-3-642-39718-9_14
DO - 10.1007/978-3-642-39718-9_14
M3 - Chapter (peer-reviewed)
SN - 9783642397172
T3 - Lecture Notes in Computer Science
SP - 231
EP - 248
BT - Theoretical Aspects of Computing – ICTAC 2013
A2 - Liu, Zhiming
A2 - Woodcock, Jim
A2 - Zhu, Huibiao
PB - Springer
CY - Berlin
ER -
