notesum.ai

Published at November 21

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

cs.LO
cs.AI
cs.CV

Released Date: November 21, 2024

Authors: Jan Gruteser1, Jan Roßbach1, Fabian Vu1, Michael Leuschel1

Aff.: 1Heinrich Heine University Düsseldorf, Faculty of Mathematics and Natural Sciences, Department of Computer Science, Düsseldorf, Germany

Arxiv: http://arxiv.org/abs/2411.14374v1