Davide Basile 0001, Maurice H. ter Beek, Vincenzo Ciancia. An Experimental Toolchain for Strategy Synthesis with Spatial Properties. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Volume 13703 of Lecture Notes in Computer Science, pages 142-164, Springer, 2022. [doi]
Abstract is missing.