@misc{indiciae450dc30d9878,
  title = {Verifying Switched System Stability With Logic},
  author = {Yong Kiam Tan and Stefan Mitsch and André Platzer},
  year = {2022},
  doi = {10.1145/3501710.3519541},
  url = {https://arxiv.org/abs/2111.01928},
  note = {Source identifier: 2111.01928}
}