Keyword:Robustness degree

Papers
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT Geunyeol Yu, Jia Lee and Kyungmin Bae EasyChair Preprint no. 8684