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 proceedingConference contribution

3 Scopus citations

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.

Mathematics

Engineering & Materials Science