2 papers
cs.LO2025
Causality for Cyber-Physical Systems
Hugo Araujo, Hana Chockler, Mohammad Reza Mousavi +2
We present a formal theory for analysing causality in cyber-physical systems. To this end, we extend the theory of actual causality by Halpern and Pearl to cope with the continuous…
cs.ET2025
Using quantum annealing to generate test cases for cyber-physical systems
Hugo Araujo, Xinyi Wang, Mohammad Mousavi +1
Quantum computing has emerged as a powerful tool to efficiently solve computational challenges, particularly in simulation and optimisation. However, hardware limitations prevent q…