4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 1 cited
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
Jan Gruteser, Jan Roßbach, Fabian Vu +1
The certification of autonomous systems is an important concern in science and industry. The KI-LOK project explores new methods for certifying and safely integrating AI components…
cs.CV2023★ 4 cited
Certified Control for Train Sign Classification
Jan Roßbach, Michael Leuschel
There is considerable industrial interest in integrating AI techniques into railway systems, notably for fully autonomous train systems. The KI-LOK research project is involved in…