Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa. Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. In Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün, editors, Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Volume 10533 of Lecture Notes in Computer Science, pages 313-319, Springer, 2017. [doi]
Abstract is missing.