11 citations · 12 across the 3 of their papers we have counts for
3 papers
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
Leonardo Picchiami, Maxime Parmentier, Axel Legay +2
Model-based formal verification of industry-relevant Cyber-Physical Systems (CPSs) is often a computationally prohibitive task. In most cases, the complexity of the models preclude…
SMC-ES: Automated synthesis of formally verified control policies
Riccardo Curcio, Toni Mancini, Enrico Tronci
The deployment of autonomous cyber-physical systems in safety-critical environments requires closed-loop control strategies (i.e., policies) that are not only performant but also p…
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry
Marco Esposito, Toni Mancini, Enrico Tronci
The increasing spreading of small commercial Unmanned Aerial Vehicles (UAVs, aka drones) presents serious threats for critical areas such as airports, power plants, governmental an…