Output details
11 - Computer Science and Informatics
University of Liverpool
Article title
Analysing robot swarm behaviour via probabilistic model checking
Type
D - Journal article
Title of journal
Robotics and Autonomous Systems
Article number
-
Volume number
60
Issue number
2
First page of article
199
ISSN of journal
09218890
Year of publication
2012
URL
-
Number of additional authors
2
Additional information
<22>This work develops and extends the conference publication entitled "Formal Verification of Probabilistic Swarm Behaviours" [Proc. ANTS 2010, LNCS 6234, pp440-447] and has led to a new approach to swarm design being promoted by other researchers. "Property-Driven Design for Swarm Robotics" [Dorigo et al., Proc. AAMAS 2012, pp139-146] explains the significance of our work: "Recently, Konur et al. [20] proposed an approach to verify formally the properties of a swarm behavior .... Their approach is able to overcome the limits of linear temporal logical while providing scalability."
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
