@INPROCEEDINGS{DBLP:conf/cade/CordwellP19,
pdf = {pub/physical-hybrid.pdf},
slides = {pub/physical-hybrid-slides.pdf},
author = {Katherine Cordwell and
Andr{\'{e}} 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 = {},
}```