- Review
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
- Angela Pappagallo,
- Annalisa Massini and
- Enrico Tronci
The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs) (e.g., autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this setting, the main obstacle to overcome is the huge number of scenarios to...

