RV 2019 : Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs

Reference

2019

detail

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 = {},
  
}