Towards physical hybrid systems

@inproceedings{DBLP:conf/cade/CordwellP19,
	pdf = {pub/physical-hybrid.pdf},
	slides = {pub/physical-hybrid-slides.pdf},
	author = {['Katherine Cordwell', 'André Platzer']},
	title = {Towards Physical Hybrid Systems},
	booktitle = {CADE},
	longbooktitle = {International Conference on Automated Deduction, CADE-27, Natal, Brazil, Proceedings},
	year = {2019},
	pages = {216-232},
	doi = {10.1007/978-3-030-29436-6_13},
	editor = {['Pascal Fontaine']},
	publisher = {Springer},
	series = {LNCS},
	volume = {11716},
	address = {}
}