C. Bischopink, "Enforcing Timing Properties in Motorway Traffic" in Proc. Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, Leiden, The Netherlands, 15th and 16th of November 2023, 2023.
doi: 10.4204/EPTCS.395.9
@inproceedings{Bischopink2023,
author = {Bischopink, Christopher},
year = {2023},
title = {Enforcing Timing Properties in Motorway Traffic},
editor = {Farrell, Marie and Luckcuck, Matt and Gleirscher, Mario and Schwammberger, Maike},
booktitle = {{Proceedings Fifth International Workshop on} Formal Methods for Autonomous Systems, {Leiden, The Netherlands, 15th and 16th of November 2023}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {395},
publisher = {Open Publishing Association},
pages = {130-143},
doi = {10.4204/EPTCS.395.9}
C. Bischopink and E. Olderog, "Time for Traffic Manoeuvres" , Haxthausen, A. E., Huang, W., and Roggenbach, M. Eds., Cham: Springer Nature Switzerland.
doi: 10.1007/978-3-031-40132-9_11
@inbook{BischopinkOlderog2023,
author = {Bischopink, Christopher and Olderog, Ernst-R{\"u}diger},
editor = {Haxthausen, Anne E. and Huang, Wen-ling and Roggenbach, Markus},
title = {Time for Traffic Manoeuvres},
booktitle = {Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday},
year = {2023},
publisher = {Springer Nature Switzerland},
address = {Cham},
pages = {163--179},
abstract = {The use of driving assistance systems up to the level of autonomous cars asks for methods showing that cars equipped with such systems behave safely. In previous work, we realised that spatial reasoning is a key to prove collision freedom. Our method was based on a dedicated Multi-lane Spatial Logic (MLSL) for traffic on motorways [10].},
isbn = {978-3-031-40132-9},
doi = {10.1007/978-3-031-40132-9_11},
url = {https://doi.org/10.1007/978-3-031-40132-9_11}
}
C. Bischopink and E. -R. Olderog, "Spatial and Timing Properties in Highway Traffic" in Proc. Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, 2022.
doi: 10.1007/978-3-031-17715-6_9
@inproceedings{DBLP:conf/ictac/BischopinkO22,
author = {Christopher Bischopink and E.-R. Olderog},
editor = {Helmut Seidl and Zhiming Liu and Corina S. Pasareanu},
title = {Spatial and Timing Properties in Highway Traffic},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {114--131},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_9},
doi = {10.1007/978-3-031-17715-6\_9},
timestamp = {Fri, 07 Oct 2022 16:33:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BischopinkO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Bischopink and M. Schwammberger, "Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections" in Proc. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, 2019.
doi: 10.1007/978-3-030-54994-7_18
@inproceedings{DBLP:conf/fm/BischopinkS19,
author = {Christopher Bischopink and Maike Schwammberger},
editor = {Emil Sekerinski and Nelma Moreira and Jos{\'{e}} N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and Jos{\'{e}} Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas},
title = {Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {249--264},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_18},
doi = {10.1007/978-3-030-54994-7\_18},
timestamp = {Mon, 17 Aug 2020 17:09:20 +0200},
biburl = {https://dblp.org/rec/conf/fm/BischopinkS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Bischopink, "Moving Hazards - Communicating about Human Drivers in Autonomous Traffic" Master's Dissertation , Oldenburg, 2018.
@mastersthesis{Bi18,
author = {Cristopher Bischopink},
title = {Moving Hazards - Communicating about Human Drivers in Autonomous Traffic},
school = {University of Oldenburg},
year = 2018, address = {Oldenburg},
month = 12
C. Bischopink, Überführung von MLSL- zu QdL-FormelnOldenburg:
@misc{Bi16,
author = {Cristopher Bischopink},
title = {\"{U}berf\"{u}hrung von MLSL- zu QdL-Formeln},
school = {University of Oldenburg},
year = 2016, address = {Oldenburg},
month = 10 }
