Leonardo Picchiami. On Optimizing Simulation-Based Verification of Cyber-Physical Systems via Statistical Model Checking: a Preliminary Work. In Daniele Porello, Cosimo Vinci, Matteo Zavatteri, editors, Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024. Volume 3904 of CEUR Workshop Proceedings, pages 13-21, CEUR-WS.org, 2024. [doi]
Abstract is missing.