MakSafe: A Spatiotemporal Semantic Framework for Formal Specification and Compliance Checking of Road Vehicle Safety Rules
cs.CL, cs.SC
Submitted: 2026-10-14
Updated: 2026-10-14
Journal ref: Forum on Specification \& Design Languages, Alain Girault; Timothy Bourke; Graziano Pravadelli, Sep 2026, Roma, Italy
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Related papers
- Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
- Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
- Subliminal Steering: Stronger Encoding of Hidden Signals
- MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
- The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
- Untangling the Mechanisms of Misleading Context in Medical Question Answering