Christopher Bischopink

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Intelligent Surveillance

Traffic Control

Transportation Systems

Top Venues

FM Workshops (1)

Applicable Formal Methods for Safe Industrial Products

Publications

Christopher Bischopink, Ernst-Rüdiger Olderog
Time for Traffic Manoeuvres. Applicable Formal Methods for Safe Industrial Products (2023)
Christopher Bischopink
Enforcing Timing Properties in Motorway Traffic. CoRR (2023)
Christopher Bischopink, Ernst-Rüdiger Olderog
Spatial and Timing Properties in Highway Traffic. ICTAC (2022)
Christopher Bischopink, Maike Schwammberger
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections. FM Workshops (1) (2019)