TY  - RPRT
TI  - Verifying Switched System Stability With Logic
AU  - Yong Kiam Tan
AU  - Stefan Mitsch
AU  - André Platzer
PY  - 2022
DO  - 10.1145/3501710.3519541
UR  - https://arxiv.org/abs/2111.01928
ID  - 2111.01928
ER  -