A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 2013-2018.
Abstract
We put forward a cutoff technique for determining the number of agents that is sufficient to consider when checking temporal-epistemic specifications on a system of any size. We identify a special class of interleaved interpreted systems for which we give a parameterised semantics and an abstraction methodology. This enables us to overcome the significant limitations in expressivity present in the state-of-the-art. We present an implementation and discuss experimental results.
Panagiotis Kouvaros, and Alessio Lomuscio. 2013. A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 2013–2018. https://ijcai.org/proceedings/2013/297
Kouvaros, P., & Lomuscio, A. (2013). A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 (pp. 2013–2018). IJCAI. https://ijcai.org/proceedings/2013/297
@inproceedings{ijcai2013p297,
title = {A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments},
author = {Kouvaros, Panagiotis and Lomuscio, Alessio},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {2013--2018},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/297},
}
TY - CPAPER TI - A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments AU - Kouvaros, Panagiotis AU - Lomuscio, Alessio T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 2013 EP - 2018 UR - https://ijcai.org/proceedings/2013/297 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
