Panagiotis Kouvaros, Alessio Lomuscio. A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 2013-2019, IJCAI/AAAI, 2013. [doi]
Abstract is missing.