Formal Specification and Verification of Autonomous Robotic Systems
Published 2019 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Formal Specification and Verification of Autonomous Robotic Systems
Authors
Keywords
-
Journal
ACM COMPUTING SURVEYS
Volume 52, Issue 5, Pages 1-41
Publisher
Association for Computing Machinery (ACM)
Online
2019-09-13
DOI
10.1145/3342355
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Formal verification of obstacle avoidance and navigation of ground robots
- (2017) Stefan Mitsch et al. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
- Safety-critical advanced robots: A survey
- (2017) Jérémie Guiochet et al. ROBOTICS AND AUTONOMOUS SYSTEMS
- Formal verification of autonomous vehicle platooning
- (2017) Maryam Kamali et al. SCIENCE OF COMPUTER PROGRAMMING
- Decentralised LTL monitoring
- (2016) Andreas Bauer et al. FORMAL METHODS IN SYSTEM DESIGN
- Formal verification of ethical choices in autonomous systems
- (2016) Louise Dennis et al. ROBOTICS AND AUTONOMOUS SYSTEMS
- Supervisory control theory applied to swarm robotics
- (2016) Yuri K. Lopes et al. Swarm Intelligence
- Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
- (2016) Matt Webster et al. IEEE Transactions on Human-Machine Systems
- Property-Driven Design for Robot Swarms
- (2014) Manuele Brambilla et al. ACM Transactions on Autonomous and Adaptive Systems
- Verification of heterogeneous multi-agent system using MCMAS
- (2013) Jiyoung Choi et al. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE
- Towards a core ontology for robotics and automation
- (2013) Edson Prestes et al. ROBOTICS AND AUTONOMOUS SYSTEMS
- On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics
- (2013) Mieke Massink et al. Swarm Intelligence
- FORMS
- (2012) Danny Weyns et al. ACM Transactions on Autonomous and Adaptive Systems
- Towards temporal verification of swarm robotic systems
- (2012) Clare Dixon et al. ROBOTICS AND AUTONOMOUS SYSTEMS
- Model checking agent programming languages
- (2011) Louise A. Dennis et al. Automated Software Engineering
- Correct, Reactive, High-Level Robot Control
- (2011) Hadas Kress-Gazit et al. IEEE ROBOTICS & AUTOMATION MAGAZINE
- Rigorous Component-Based System Design Using the BIP Framework
- (2011) Ananda Basu et al. IEEE SOFTWARE
- Formal Approach to the Deployment of Distributed Robotic Teams
- (2011) Yushan Chen et al. IEEE Transactions on Robotics
- Moral Decision Making in Autonomous Systems: Enforcement, Moral Emotions, Dignity, Trust, and Deception
- (2011) Ronald Craig Arkin et al. PROCEEDINGS OF THE IEEE
- Analysing robot swarm behaviour via probabilistic model checking
- (2011) Savas Konur et al. ROBOTICS AND AUTONOMOUS SYSTEMS
- Petri Net Plans
- (2010) V. A. Ziparo et al. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
- OPRoS: A New Component-Based Robot Software Platform
- (2010) Choulsoo Jang ETRI JOURNAL
- Formal methods
- (2009) Jim Woodcock et al. ACM COMPUTING SURVEYS
- ViewpointRetrospective
- (2009) C.A.R. Hoare COMMUNICATIONS OF THE ACM
- Designing autonomous robots
- (2009) Saddek Bensalem et al. IEEE ROBOTICS & AUTOMATION MAGAZINE
- Modelling a wireless connected swarm of mobile robots
- (2008) Alan F. T. Winfield et al. Swarm Intelligence
Discover Peeref hubs
Discuss science. Find collaborators. Network.
Join a conversationFind the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
Search