Jan Roßbach

According to our database, Jan Roßbach authored at least 2 papers in 2023.

Collaborative distances:

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

2023

Certified Control for Train Sign Classification.

Jan Roßbach, Michael Leuschel

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

A Formal Model of Train Control with AI-Based Obstacle Detection.

Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023