Jan Gruteser

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

Collaborative distances:

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

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