A demonstrator couples a formal B model, a real YOLO perception AI, and a certified-control checker to enable runtime monitoring and Monte Carlo safety validation of an AI-based train system.
Title resolution pending
1 Pith paper cite this work, alongside 60 external citations. Polarity classification is still indexing.
1
Pith paper citing it
60
external citations · OpenAlex
fields
cs.LO 1years
2024 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
A demonstrator couples a formal B model, a real YOLO perception AI, and a certified-control checker to enable runtime monitoring and Monte Carlo safety validation of an AI-based train system.