most citedUsing Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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…