Christopher Bischopink, M.Sc.
Kontakt
- E-Mail: christopher.bischopink1@uol.de
Christopher Bischopink, M.Sc.
Department für Informatik (» Postanschrift)
Lehrveranstaltungen
Sommersemester 2022
2.01.400
Vorlesung - Theoretische Informatik: Logik
|

2.01.400b
Tutorium Theoretische Informatik: Logik (B)
|

2.01.400d
Tutorium Theoretische Informatik: Logik (D)
|

2.01.400f
Tutorium Theoretische Informatik: Logik (F)
|

2.01.400g
Tutorium Theoretische Informatik: Logik (G)
|

Forschungsinteressen
- Multi-Lane Spatial Logic
- (Extended) Timed Automata
- Monitor Synthesis and Enforcement in Autonomous Traffic
Publikationen
-
[inproceedings] bibtex |
Dokument aufrufen
C. Bischopink und 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, pp. 249-264.@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} }