Parameterised verification for multi-agent systems
- Submitting institution
-
Imperial College of Science, Technology and Medicine
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 2276
- Type
- D - Journal article
- DOI
-
10.1016/j.artint.2016.01.008
- Title of journal
- Artificial Intelligence
- Article number
- -
- First page
- 152
- Volume
- 234
- Issue
- 4
- ISSN
- 1872-7921
- Open access status
- Out of scope for open access requirements
- Month of publication
- January
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
10.1016/j.artint.2016.01.008
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 19
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This work enables the verification of multi-agent systems in which the number of components is unknown at design time, such as in swarm robotics and IoT. The described implementation is used to verify swarm robotics protocols in numerous follow-up papers e.g. AAAI’17 (https://ojs.aaai.org/index.php/AAAI/article/view/10710), IJCAI’17 (https://www.ijcai.org/Proceedings/2017/0015.pdf), and AAMAS’19 (http://www.ifaamas.org/Proceedings/aamas2019/pdfs/p161.pdf). The paper extends results from IJCAI'15 (https://www.aaai.org/ocs/index.php/IJCAI/IJCAI15/paper/viewPaper/11217) and AAMAS'15 (https://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/viewPaper/9910), and led to invited keynotes at international conferences: PAAMS’20 (https://www.paams.net/plenary-speakers) and EMAS’19 (https://cgi.csc.liv.ac.uk/~lad/emas2019/speakers.html#alessio). It also contributed to Lomuscio's RAEng Fellowship in Emerging Technologies (£1.3M; https://www.raeng.org.uk/news/news-releases/2018/april/academy-funds-global-research-visionaries-to-advan).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
