MakSafe: A Spatiotemporal Semantic Framework for Formal Specification and Compliance Checking of Road Vehicle Safety Rules
MakSafe is presented, a formal spatiotemporal framework for specifying and checking road vehicle safety rules through semantic zones, action-based forecasting, and trace-tree reasoning, avoiding uniform time discretization.
Maksym Labzhaniia, Julien Deantoni, Marie-Agnès Peraldi-Frati et al.
· Forum on Specification and D... · 0 citations