Jan Roßbach

According to our database, Jan Roßbach authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

Evaluating AI-Based Components in Autonomous Railway Systems - A Methodology.

Jan Roßbach, Oliver De Candido, Ahmed Hammam, Michael Leuschel

Proceedings of the KI 2024: Advances in Artificial Intelligence, 2024

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