An Experimental Spatio-Temporal Model Checker.

Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink

Browse the full SEFM paper archive.