HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jia Lee

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

Keyphrases

model checking, Robustness degree, Signal Temporal Logic, SMT.

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