An Experimental Toolchain for Strategy Synthesis with Spatial Properties.

Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia

Browse the full ISoLA paper archive.