Rio Klatt

According to our database, Rio Klatt authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Backward Responsibility in Transition Systems Beyond Safety.

Christel Baier, Rio Klatt, Sascha Klüppelholz, Johannes Lehmann

Proceedings of the Formal Methods for Industrial Critical Systems, 2025