TITLE     : An experimental toolchain for strategy synthesis with spatial properties
AUTHOR(S) : Basile D, Ter Beek Mh, Ciancia V
TYPE      : Conference article
YEAR      : 2022
CODE      : 471909

*** DO NOT EDIT THIS FILE ***