Analysing robot swarm behaviour via probabilistic model checking
- 29 February 2012
- journal article
- Published by Elsevier BV in Robotics and Autonomous Systems
- Vol. 60 (2), 199-213
- https://doi.org/10.1016/j.robot.2011.10.005
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Motion planning and control from temporal logic specifications with probabilistic satisfaction guaranteesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case StudyIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2007
- A formal analysis of bluetooth device discoveryInternational Journal on Software Tools for Technology Transfer, 2006
- On Formal Specification of Emergent Behaviours in Swarm Robotic SystemsInternational Journal of Advanced Robotic Systems, 2005
- Constraint-Based Verification of Parameterized Cache Coherence ProtocolsFormal Methods in System Design, 2003
- Mathematical Model of Foraging in a Group of Robots: Effect of InterferenceAutonomous Robots, 2002
- A logic for reasoning about time and reliabilityFormal Aspects of Computing, 1994
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986