@INPROCEEDINGS{DBLP:conf/rta/BohrerP20,
pdf = {https://drops.dagstuhl.de/opus/volltexte/2020/12336/pdf/LIPIcs-FSCD-2020-14.pdf},
slides = {pub/constructive-hybrid-games-refinement-slides.pdf},
author = {Brandon Bohrer and
Andr{\'{e}} Platzer},
editor = {Zena M. Ariola},
title = {Refining Constructive Hybrid Games},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29 - July 5, 2020, Paris, France},
series = {LIPIcs},
volume = {167},
pages = {},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
doi = {10.4230/LIPIcs.FSCD.2020.14},
}```