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

Reference

2019

detail

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

Georgios Fainekos, Bardh Hoxha, and Sriram Sankaranarayanan

RV 2019: International Conference on Runtime Verification

Abstract

BibTeX

@string{RV = "International Conference on Runtime Verification (RV)"}
@inproceedings{robustness-rv19,
  author = {Georgios Fainekos and Bardh Hoxha 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 = {},
  
}