Jan Gruteser

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

Collaborative distances:

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

2024

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems.

Jan Gruteser, Jan Roßbach, Fabian Vu, Michael Leuschel

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Validation of RailML Using ProB.

Jan Gruteser, Michael Leuschel

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

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