Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

October 8, 2019

has restriction

closed

Date in CU Experts

February 1, 2020 7:31 AM

Full Author List

Fainekos G; Hoxha B; Sankaranarayanan S

Full Editor List

Finkbeiner B; Mariani L

author count

3

citation count

10

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)

https://doi.org/10.1007/978-3-030-32079-9_3

International Standard Book Number (ISBN) 13

978-3-030-32078-2

Additional Document Info

start page

27

end page

47

volume

11757