@InProceedings{10.1007/978-3-031-19759-8_23,
author="Abd Alrahman, Yehia
and Azzopardi, Shaun
and Piterman, Nir",
editor="Margaria, Tiziana
and Steffen, Bernhard",
title="Model Checking Reconfigurable Interacting Systems",
booktitle="Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning",
year="2022",
publisher="Springer Nature Switzerland",
address="Cham",
pages="373--389",
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 (Find the associated toolkit repository here: https://github.com/dsynma/recipe.), 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, and self-organisation.",
isbn="978-3-031-19759-8",
url={https://link.springer.com/chapter/10.1007/978-3-031-19759-8_23}
}

{"_id":"PRBKYuzRgm8upGA5P","bibbaseid":"abdalrahman-azzopardi-piterman-modelcheckingreconfigurableinteractingsystems-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":[]}],"editor":[{"propositions":[],"lastnames":["Margaria"],"firstnames":["Tiziana"],"suffixes":[]},{"propositions":[],"lastnames":["Steffen"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"Model Checking Reconfigurable Interacting Systems","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning","year":"2022","publisher":"Springer Nature Switzerland","address":"Cham","pages":"373–389","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 (Find the associated toolkit repository here: https://github.com/dsynma/recipe.), 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, and self-organisation.","isbn":"978-3-031-19759-8","url":"https://link.springer.com/chapter/10.1007/978-3-031-19759-8_23","bibtex":"@InProceedings{10.1007/978-3-031-19759-8_23,\nauthor=\"Abd Alrahman, Yehia\nand Azzopardi, Shaun\nand Piterman, Nir\",\neditor=\"Margaria, Tiziana\nand Steffen, Bernhard\",\ntitle=\"Model Checking Reconfigurable Interacting Systems\",\nbooktitle=\"Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning\",\nyear=\"2022\",\npublisher=\"Springer Nature Switzerland\",\naddress=\"Cham\",\npages=\"373--389\",\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 (Find the associated toolkit repository here: https://github.com/dsynma/recipe.), 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, and self-organisation.\",\nisbn=\"978-3-031-19759-8\",\nurl={https://link.springer.com/chapter/10.1007/978-3-031-19759-8_23}\n}\n\n","author_short":["Abd Alrahman, Y.","Azzopardi, S.","Piterman, N."],"editor_short":["Margaria, T.","Steffen, B."],"key":"10.1007/978-3-031-19759-8_23","id":"10.1007/978-3-031-19759-8_23","bibbaseid":"abdalrahman-azzopardi-piterman-modelcheckingreconfigurableinteractingsystems-2022","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-031-19759-8_23"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/dKEFWnS7TRY4kN7A6","dataSources":["ec7btnN2RJ3DQyXEw","9BWFRLuir5vrfREwa","xCHooMdeJ6jiWDZAR","mtLriRvYqkiErXwmg","XjndTXGxuincqEJth","4dLMPWkFFRdvakjWF","ELFC3q4QgwCfdJei3"],"keywords":[],"search_terms":["model","checking","reconfigurable","interacting","systems","abd alrahman","azzopardi","piterman"],"title":"Model Checking Reconfigurable Interacting Systems","year":2022,"downloads":1}