---
title: "A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments"
authors:
  - "Panagiotis Kouvaros"
  - "Alessio Lomuscio"
doi: ""
url: "https://ijcai.org/proceedings/2013/297"
pdf: "https://ijcai.org/proceedings/2013/0297.pdf"
venue: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence"
year: 2013
pages: "2013-2018"
track: ""
keywords:
---

# A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments

Panagiotis Kouvaros, Alessio Lomuscio

*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.