Hansol Yoon, Yi Chou, Xin Chen 0002, Eric Frew, Sriram Sankaranarayanan 0001. Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. In Bernd Finkbeiner, Leonardo Mariani, editors, Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Volume 11757 of Lecture Notes in Computer Science, pages 349-367, Springer, 2019. [doi]
Abstract is missing.