STLmc: Robust STL Model Checking of Hybrid Systems using SMT
Authors: Geunyeol Yu, Jia Lee and Kyungmin Bae
Paper Information
| Title: | STLmc: Robust STL Model Checking of Hybrid Systems using SMT |
| Authors: | Geunyeol Yu, Jia Lee and Kyungmin Bae |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Signal temporal logic, Model checking, Robustness degree, SMT |
| Pages: | 13 |
| Talk: | Aug 08 15:10 (Session 97A: Formal Methods for Hardware, Cyber-Physical and Hybrid Systems) |
| Paper: |  |