Formal methods for robot motion planning with time and space constraints (extended abstract)

DOI10.1007/978-3-030-85037-1_1MaRDI QIDQ832022zbMATH OpenOpenAlexFDO

Authors F. S. Barbosa, Jesper Karlsson, Pouria Tajvar, Jana Tůmová

Publication date 24 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-85037-1_1

zbMATH Keywords

feedback controlmotion planningtemporal logicMTLRRT*STL

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• FaSTrack:A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
• Incremental sampling-based algorithms for a class of pursuit-evasion games
• Planning Algorithms

Cited in

(1)

• A framework for multi-robot motion planning from temporal logic specifications

Describes a project that uses

Uses Software

• FaSTrack

This page was built for publication: Formal methods for robot motion planning with time and space constraints (extended abstract)

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