Verifying switched system stability with logic

@inproceedings{DBLP:conf/hybrid/TanMP22,
	slides = {pub/axiomatic-switched-stability-slides.pdf},
	author = {['Yong Kiam Tan', 'Stefan Mitsch', 'André 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', 'Sylvie Putot']},
	booktitle = {HSCC '22: 25th ACM International Conference on Hybrid Systems:
               Computation and Control, Milan, Italy, May 4 - 6, 2022}
}