{"type":"ScholarlyArticle","title":"A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments","authors":[{"name":"Panagiotis Kouvaros","slug":"panagiotis-kouvaros","given":"Panagiotis","family":"Kouvaros","affiliation":""},{"name":"Alessio Lomuscio","slug":"alessio-lomuscio","given":"Alessio","family":"Lomuscio","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2013/297","pdf":"https://ijcai.org/proceedings/2013/0297.pdf","markdown":"https://ijcai.org/proceedings/2013/297.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/297","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":297,"pages":{"first":2013,"last":2018},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}