Formal verification of obstacle avoidance and navigation of ground robots
Published 2017 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Formal verification of obstacle avoidance and navigation of ground robots
Authors
Keywords
-
Journal
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
Volume 36, Issue 12, Pages 1312-1340
Publisher
SAGE Publications
Online
2017-10-11
DOI
10.1177/0278364917733549
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- ModelPlex: verified runtime validation of verified cyber-physical system models
- (2016) Stefan Mitsch et al. FORMAL METHODS IN SYSTEM DESIGN
- A Complete Uniform Substitution Calculus for Differential Dynamic Logic
- (2016) André Platzer JOURNAL OF AUTOMATED REASONING
- Differential Game Logic
- (2015) André Platzer ACM Transactions on Computational Logic
- How to model and prove hybrid systems with KeYmaera: a tutorial on safety
- (2015) Jan-David Quesel et al. International Journal on Software Tools for Technology Transfer
- The Structure of Differential Invariants and Differential Cut Elimination
- (2013) Andre Platzer Logical Methods in Computer Science
- A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- (2013) Andre Platzer Logical Methods in Computer Science
- Guaranteed infinite horizon avoidance of unpredictable, dynamically constrained obstacles
- (2012) Albert Wu et al. AUTONOMOUS ROBOTS
- Collision-free and smooth trajectory computation in cluttered environments
- (2012) Jia Pan et al. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
- Falsification of LTL safety properties in hybrid systems
- (2012) Erion Plaku et al. International Journal on Software Tools for Technology Transfer
- Provably safe navigation for mobile robots with limited field-of-views in dynamic environments
- (2011) Sara Bouraine et al. AUTONOMOUS ROBOTS
- Guaranteeing functional safety: design for provability and computer-aided verification
- (2011) Holger Täubig et al. AUTONOMOUS ROBOTS
- Safety assessment of robot trajectories for navigation in uncertain and dynamic environments
- (2011) Daniel Althoff et al. AUTONOMOUS ROBOTS
- LQG-MP: Optimized path planning for robots with motion uncertainty and imperfect state information
- (2011) Jur van den Berg et al. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
- Temporal-Logic-Based Reactive Mission and Motion Planning
- (2009) H. Kress-Gazit et al. IEEE Transactions on Robotics
- Hybrid systems: from verification to falsification by combining motion planning and discrete search
- (2008) Erion Plaku et al. FORMAL METHODS IN SYSTEM DESIGN
- Differential Dynamic Logic for Hybrid Systems
- (2008) André Platzer JOURNAL OF AUTOMATED REASONING
- Visual Navigation for Mobile Robots: A Survey
- (2008) Francisco Bonin-Font et al. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- (2008) A. Platzer JOURNAL OF LOGIC AND COMPUTATION
Create your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create NowBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started