TY  - RPRT
TI  - MakSafe: A Spatiotemporal Semantic Framework for Formal Specification and Compliance Checking of Road Vehicle Safety Rules
AU  - Maksym Labzhaniia
AU  - Julien Deantoni
AU  - Marie-Agn{è}s Peraldi-Frati
AU  - Fr{é}d{é}ric Mallet
PY  - 2026
UR  - https://arxiv.org/abs/2610.19735
ID  - 2610.19735
ER  -