A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments
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.
Cite
Text
Kouvaros and Lomuscio. "A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments." International Joint Conference on Artificial Intelligence, 2013.Markdown
[Kouvaros and Lomuscio. "A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/kouvaros2013ijcai-cutoff/)BibTeX
@inproceedings{kouvaros2013ijcai-cutoff,
title = {{A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments}},
author = {Kouvaros, Panagiotis and Lomuscio, Alessio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {2013-2019},
url = {https://mlanthology.org/ijcai/2013/kouvaros2013ijcai-cutoff/}
}