Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs Conference Proceeding

Overview

CU Boulder Authors

publication date

October 8, 2019

Date in CU Experts

October 6, 2020 11:36 AM

Full Author List

Yoon H; Chou Y; Chen X; Frew E; Sankaranarayanan S

Full Editor List

Finkbeiner B; Mariani L

author count

5

citation count

5

published in

Lecture Notes in Artificial Intelligence Journal

presented at event

19th International Conference on Runtime Verification (RV) as part of the 3rd World Congress on Formal Methods (FM) Conference

Other Profiles

International Standard Serial Number (ISSN)

0302-9743

Electronic International Standard Serial Number (EISSN)

1611-3349

Digital Object Identifier (DOI)

10.1007/978-3-030-32079-9_20

International Standard Book Number (ISBN) 13

978-3-030-32078-2

Additional Document Info

start page

349

end page

367

volume

11757