@misc{indiciaec2315422bd62,
  title = {MakSafe: A Spatiotemporal Semantic Framework for Formal Specification and Compliance Checking of Road Vehicle Safety Rules},
  author = {Maksym Labzhaniia and Julien Deantoni and Marie-Agn\{è\}s Peraldi-Frati and Fr\{é\}d\{é\}ric Mallet},
  year = {2026},
  url = {https://arxiv.org/abs/2610.19735},
  note = {Source identifier: 2610.19735}
}