Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. In Magnus Egerstedt, Yorai Wardi, editors, 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015. Volume 48 of IFAC-PapersOnLine, pages 267-273, Elsevier, 2015. [doi]
Abstract is missing.