TITLE     : Geometric model checking of continuous space
AUTHOR(S) : Bezhanishvili N, Ciancia V, Gabelaia D, Grilletti G, Latella D, Massink M
TYPE      : Journal article
YEAR      : 2022
CODE      : 473911

*** DO NOT EDIT THIS FILE ***