Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan 0001, Geir E. Dullerud. Statistical verification of dynamical systems using set oriented methods. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 169-178, ACM, 2015. [doi]
Abstract is missing.