ARCHIVE
artifact.zip (126.14 MB)
DOCUMENT
readme.pdf (284.43 kB)
1/0
Verifying Switched System Stability With Logic (Repeatability Evaluation)
software
posted on 2022-05-20, 16:28 authored by Yong Kiam TanYong Kiam Tan, Stefan MitschStefan Mitsch, Andre PlatzerAndre PlatzerRepeatability evaluation artifact for "Verifying Switched System Stability With Logic"
Yong Kiam Tan, Stefan Mitsch, André Platzer, HSCC 2022 (25th ACM International Conference on Hybrid Systems: Computation and Control, May 4-6, 2022)
Paper DOI: 10.1145/3501710.3519541
Funding
CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems
Directorate for Computer & Information Science & Engineering
Find out more...