TITLE     : Geometric Model Checking of Continuous Space
AUTHOR(S) : Bezhanishvili N, Ciancia V, Gabelaia D, Grilletti G, Latella D, Massink M
TYPE      : Other
YEAR      : 2021
CODE      : 454055

*** DO NOT EDIT THIS FILE ***