Christopher Bischopink, M.Sc.


  • E-Mail:

Christopher Bischopink, M.Sc.

Research interests

  •  Multi-Lane Spatial Logic
  • (Extended) Timed Automata
  • Monitor Synthesis and Enforcement in Autonomous Traffic


  • [inproceedings] bibtex
    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
  • 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
  • [inproceedings] bibtex | Go to document Go to document
    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] bibtex | Go to document Go to document
    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


  • [mastersthesis] bibtex
    C. Bischopink, "Moving Hazards - Communicating about Human Drivers in Autonomous Traffic" Master's Dissertation , Oldenburg, 2018.
  • [misc] bibtex
    C. Bischopink, Überführung von MLSL- zu QdL-FormelnOldenburg:
(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page