@inproceedings{10.5555/3535850.3536020,
author = {Abd Alrahman, Yehia and Azzopardi, Shaun and Piterman, Nir},
title = {R-CHECK: A Model Checker for Verifying Reconfigurable MAS},
year = {2022},
isbn = {9781450392136},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
address = {Richland, SC},
abstract = {Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming collectives, and interact based on mutual interests. Finding ways to design and analyse the behaviour of these systems is a vigorously pursued research goal. We propose a model checker, named R-CHECK, to allow reasoning about these systems both from an individual- and a system-level. R-CHECK also permits reasoning about interaction protocols and joint missions. R-CHECK supports a high-level input language with symbolic semantics, and provides a modelling convenience for interaction features such as reconfiguration, coalition formation, self-organisation, etc.},
booktitle = {Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems},
pages = {1518–1520},
numpages = {3},
keywords = {verification of multi-agent systems, logics for agent reasoning, agent theories and models},
location = {Virtual Event, New Zealand},
series = {AAMAS '22},
url="https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1518.pdf"
}

{"_id":"nGFMhp6DM9Mqd7ao8","bibbaseid":"abdalrahman-azzopardi-piterman-rcheckamodelcheckerforverifyingreconfigurablemas-2022","author_short":["Abd Alrahman, Y.","Azzopardi, S.","Piterman, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Abd","Alrahman"],"firstnames":["Yehia"],"suffixes":[]},{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]}],"title":"R-CHECK: A Model Checker for Verifying Reconfigurable MAS","year":"2022","isbn":"9781450392136","publisher":"International Foundation for Autonomous Agents and Multiagent Systems","address":"Richland, SC","abstract":"Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming collectives, and interact based on mutual interests. Finding ways to design and analyse the behaviour of these systems is a vigorously pursued research goal. We propose a model checker, named R-CHECK, to allow reasoning about these systems both from an individual- and a system-level. R-CHECK also permits reasoning about interaction protocols and joint missions. R-CHECK supports a high-level input language with symbolic semantics, and provides a modelling convenience for interaction features such as reconfiguration, coalition formation, self-organisation, etc.","booktitle":"Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems","pages":"1518–1520","numpages":"3","keywords":"verification of multi-agent systems, logics for agent reasoning, agent theories and models","location":"Virtual Event, New Zealand","series":"AAMAS '22","url":"https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1518.pdf","bibtex":"@inproceedings{10.5555/3535850.3536020,\nauthor = {Abd Alrahman, Yehia and Azzopardi, Shaun and Piterman, Nir},\ntitle = {R-CHECK: A Model Checker for Verifying Reconfigurable MAS},\nyear = {2022},\nisbn = {9781450392136},\npublisher = {International Foundation for Autonomous Agents and Multiagent Systems},\naddress = {Richland, SC},\nabstract = {Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming collectives, and interact based on mutual interests. Finding ways to design and analyse the behaviour of these systems is a vigorously pursued research goal. We propose a model checker, named R-CHECK, to allow reasoning about these systems both from an individual- and a system-level. R-CHECK also permits reasoning about interaction protocols and joint missions. R-CHECK supports a high-level input language with symbolic semantics, and provides a modelling convenience for interaction features such as reconfiguration, coalition formation, self-organisation, etc.},\nbooktitle = {Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems},\npages = {1518–1520},\nnumpages = {3},\nkeywords = {verification of multi-agent systems, logics for agent reasoning, agent theories and models},\nlocation = {Virtual Event, New Zealand},\nseries = {AAMAS '22},\nurl=\"https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1518.pdf\"\n}\n\n","author_short":["Abd Alrahman, Y.","Azzopardi, S.","Piterman, N."],"key":"10.5555/3535850.3536020","id":"10.5555/3535850.3536020","bibbaseid":"abdalrahman-azzopardi-piterman-rcheckamodelcheckerforverifyingreconfigurablemas-2022","role":"author","urls":{"Paper":"https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1518.pdf"},"keyword":["verification of multi-agent systems","logics for agent reasoning","agent theories and models"],"metadata":{"authorlinks":{}},"downloads":6},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["9BWFRLuir5vrfREwa","xCHooMdeJ6jiWDZAR","ec7btnN2RJ3DQyXEw","mtLriRvYqkiErXwmg"],"keywords":["verification of multi-agent systems","logics for agent reasoning","agent theories and models"],"search_terms":["check","model","checker","verifying","reconfigurable","mas","abd alrahman","azzopardi","piterman"],"title":"R-CHECK: A Model Checker for Verifying Reconfigurable MAS","year":2022,"downloads":6}