Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi. Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017. pages 225-226, ACM, 2017. [doi]
Abstract is missing.