Robust online monitoring of signal temporal logic

Robustness of temporal logic specifications for continuous-time signals

Georgios Fainekos, George J. Pappas · Theoretical Computer Science · 2009 · 600 citations

Computing, Computer Engineering, Computer Science +12

Powertrain control verification benchmark

Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski et al. · 2014 · 174 citations

Engineering, Automotive Engineering, Systems Engineering +16

Anomaly detection in cyber-physical systems: A formal methods approach

Austin Jones, Zhaodan Kong, Călin Belta · 2014 · 110 citations

Computing, Computer Science, Systems Engineering +17

Verification of automotive control applications using S-TaLiRo

Georgios Fainekos, Sriram Sankaranarayanan, K. Ueda et al. · 2012 · 106 citations

Engineering, Automotive Engineering, Computer Science +17

Benchmarks for Temporal Logic Requirements for Automotive Systems

Bardh Hoxha, Houssam Abbas, Georgios Fainekos · EPiC series in computing · 2018 · 99 citations · Full text

Engineering, Automotive Engineering, Systems Engineering +17