Safety verification of trajectory planning for multiple robots

DOI10.13328/J.CNKI.JOS.005207zbMATH Open1389.68139MaRDI QIDQ3132075FDOQ3132075

Authors: Tao Liu, Naijun Zhan, Shu-Ling Wang 

Publication date: 29 January 2018

Recommendations

• Formal modelling and verification of multi-robot systems specified with temporal logic
• A formally verified motion planner for autonomous vehicles
• A framework for multi-robot motion planning from temporal logic specifications
• Formal Methods for Components and Objects
• Decidability of verification of safety properties of spatial families of linear hybrid automata

zbMATH Keywords

artificial intelligencehybrid systemtheorem provingformal verificationrobothybrid communicating sequential process

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40) Automated systems (robots, etc.) in control theory (93C85)

Cited In (4)

• Approximate reasoning for safety and survivability of planetary rovers
• Asynchronous Distributed Motion Planning with Safety Guarantees under Second-Order Dynamics
• The diagnostics of safety zones in motion planning
• Reliably Safe Path Planning Using Interval Analysis

Uses Software

• HCSP
• HProver

This page was built for publication: Safety verification of trajectory planning for multiple robots

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3132075)