Christopher Bischopink

According to our database, Christopher Bischopink authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Enforcing Timing Properties in Motorway Traffic.

Christopher Bischopink

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Time for Traffic Manoeuvres.

Christopher Bischopink, Ernst-Rüdiger Olderog

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Spatial and Timing Properties in Highway Traffic.

Christopher Bischopink, Ernst-Rüdiger Olderog

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2019

Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections.

Christopher Bischopink, Maike Schwammberger

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019