3 papers
cs.CL2026
MakSafe: A Spatiotemporal Semantic Framework for Formal Specification and Compliance Checking of Road Vehicle Safety Rules
Maksym Labzhaniia, Julien Deantoni, Marie-Agn{è}s Peraldi-Frati +1
Scenario-based validation is essential for automated road vehicles but cannot cover the full variability of openworld traffic. We present MakSafe, a formal spatiotemporal framework…
cs.CL2026
Towards Illusions Awareness in Cyber-Physical System's Design
Anna Di Placido, Nicolas Ferry, Julien Deantoni
Cyber-Physical Systems (CPS) operate through a continuous sense-compute-act loop within an open context environment, making it impossible to anticipate all the situations the syste…
cs.AI2026
A Conceptual Framework for Refining Influence Knowledge from Simulation Evidence in Cyber-Physical Systems
Barbara da Silva Oliveira, Julien Deantoni, Nicolas Ferry
Cyber-physical systems (CPS) are typically developed by multiple stakeholders who produce artefacts tailored to their specific domains of expertise. The behaviour of these systems…