Reference

2019
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
Hansol Yoon, Chou Yi, Xin Chen, Eric Frew, and Sriram Sankaranarayanan
RV 2019: International Conference on Runtime Verification

Abstract

BibTeX

@string{RV = "International Conference on Runtime Verification (RV)"}
@inproceedings{uav-rv19,
  author = {Hansol Yoon and Chou Yi and Xin Chen and Eric Frew and Sriram Sankaranarayanan},
  title = {Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs},
  booktitle = RV,
  year = {2019},
  pages = {},
  
}