DC Field | Value | Language |
---|---|---|
dc.contributor.author | YU, GEUNYEOL | - |
dc.contributor.author | LEE, JIA | - |
dc.contributor.author | BAE, KYUNGMIN | - |
dc.date.accessioned | 2023-02-27T04:41:08Z | - |
dc.date.available | 2023-02-27T04:41:08Z | - |
dc.date.created | 2023-02-27 | - |
dc.date.issued | 2022-08-08 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/115767 | - |
dc.description.abstract | We present the STLmc model checker for signal temporal logic (STL) properties of hybrid systems. The STLmc tool can perform STL model checking up to a robustness threshold for a wide range of hybrid systems. Our tool utilizes the refutation-complete SMT-based bounded model checking algorithm by reducing the robust STL model checking problem into Boolean STL model checking. If STLmc does not find a counterexample, the system is guaranteed to be correct up to the given bounds and robustness threshold. We demonstrate the effectiveness of STLmc on a number of hybrid system benchmarks. | - |
dc.language | English | - |
dc.publisher | Computer Aided Verification | - |
dc.relation.isPartOf | 34th International Conference on Computer Aided Verification, CAV 2022 | - |
dc.relation.isPartOf | Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I | - |
dc.title | STLmc: Robust STL Model Checking of Hybrid Systems Using SMT | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.identifier.bibliographicCitation | 34th International Conference on Computer Aided Verification, CAV 2022, pp.524 - 537 | - |
dc.citation.conferenceDate | 2022-08-07 | - |
dc.citation.conferencePlace | IS | - |
dc.citation.conferencePlace | Technion | - |
dc.citation.endPage | 537 | - |
dc.citation.startPage | 524 | - |
dc.citation.title | 34th International Conference on Computer Aided Verification, CAV 2022 | - |
dc.contributor.affiliatedAuthor | YU, GEUNYEOL | - |
dc.contributor.affiliatedAuthor | LEE, JIA | - |
dc.contributor.affiliatedAuthor | BAE, KYUNGMIN | - |
dc.description.journalClass | 1 | - |
dc.description.journalClass | 1 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
library@postech.ac.kr Tel: 054-279-2548
Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.