Verifying switched system stability with logic

@INPROCEEDINGS{DBLP:conf/hybrid/TanMP22,
	slides = {pub/axiomatic-switched-stability-slides.pdf},

  author    = {Yong Kiam Tan and
               Stefan Mitsch and
               Andr{\'e} Platzer},
  title     = {Verifying Switched System Stability With Logic},
  year      = {2022},
  pages     = {2:1--2:22},
  doi       = {10.1145/3501710.3519541},
  publisher = {ACM},
  editor    = {Ezio Bartocci and
               Sylvie Putot},
  booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems:
               Computation and Control, Milan, Italy, May 4 - 6, 2022},
}```