Safety verification of trajectory planning for multiple robots

DOI10.13328/J.CNKI.JOS.005207MaRDI QIDQ3132075zbMATH OpenFDO

Authors Tao Liu, Naijun Zhan, Shu-Ling Wang

Publication date 29 January 2018

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)

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

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

Describes a project that uses

Uses Software

• HProver
• HCSP

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)