activity
20222026
most citedIVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

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…