Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2311.09778
Cited By
Certified Control for Train Sign Classification
16 November 2023
Jan Roßbach
Michael Leuschel
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Certified Control for Train Sign Classification"
1 / 1 papers shown
Title
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
Jan Gruteser
Jan Roßbach
Fabian Vu
Michael Leuschel
72
0
0
21 Nov 2024
1
