Davide Bresolin, Luca Geretti, Tiziano Villa. Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. In Nicola Gigante, Federico Mari, Andrea Orlandini, editors, Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019. Volume 2509 of CEUR Workshop Proceedings, pages 29-34, CEUR-WS.org, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.