Fingerprint
Dive into the research topics of 'Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo
Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
14
Scopus
citations