HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Kyungmin Bae

Publications
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT
Geunyeol Yu, Jia Lee and Kyungmin Bae
EasyChair Preprint 8684
SMT Encoding of Hybrid Systems in dReal
Kyungmin Bae, Soonho Kong and Sicun Gao
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

dReach, dReal, hybrid systems, model checking, Robustness degree, Signal Temporal Logic, SMT2, tools, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.