Reference

2019
Robustness of Specifications and its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo
RV 2019: International Conference on Runtime Verification

Abstract

BibTeX

@string{RV = "International Conference on Runtime Verification (RV)"}
@inproceedings{robustness-rv19,
  author = {Georgios Fainekos and  and Sriram Sankaranarayanan},
  title = {Robustness of Specifications and its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo},
  booktitle = RV,
  year = {2019},
  pages = {},
  
}