Mohammad Abdulaziz, Peter Lammich. A Formally Verified Validator for Classical Planning Problems and Solutions. In Lefteri H. Tsoukalas, Éric Grégoire, Miltiadis Alamaniotis, editors, IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece. pages 474-479, IEEE, 2018. [doi]
Abstract is missing.