Multi-robot LTL planning under uncertainty

DOI10.1007/978-3-319-95582-7_24MaRDI QIDQ2024360zbMATH OpenOpenAlexFDO

Authors Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tůmová

Publication date 4 May 2021

Full work available at URL http://hdl.handle.net/2077/68935

Mathematics Subject Classification ID

Temporal logic (03B44) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Recommendations

• On reducing complexity in LTL-based motion planning
• Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications
• Decentralized Markov decision processes for handling temporal and resource constraints in a multiple robot system
• Path planning for robotic teams based on LTL specifications and Petri net models
• Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications

Cites work

• Data structures for symbolic multi-valued model-checking
• Dealing with incompleteness in automata-based model checking
• From Model Checking to a Temporal Proof for Partial Models
• scientific article; zbMATH DE number 1759610 (Why is no real title available?)
• scientific article; zbMATH DE number 2102712 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• LTL Generalized Model Checking Revisited
• Motion planning under uncertainty for robotic tasks with long time horizons
• Multi-agent planning under local LTL specifications and event-based synchronization
• Reasoning about infinite computations
• Supporting verification-driven incremental distributed design of components

Cited in

(14)

• TOrPEDO : witnessing model correctness with topological proofs
• Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications
• Path planning for robotic teams based on LTL specifications and Petri net models
• PuRSUE -- from specification of robotic environments to synthesis of controllers
• A verification-driven framework for iterative design of controllers
• On reducing complexity in LTL-based motion planning
• Linear temporal logic vehicle routing with applications to multi-UAV mission planning
• Multi-agent planning under local LTL specifications and event-based synchronization
• Decentralized Markov decision processes for handling temporal and resource constraints in a multiple robot system
• A plan manager for multi-robot systems
• Applications of a logic of knowledge to motion planning under uncertainty
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Integrating topological proofs with model checking to instrument iterative design
• Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach

This page was built for publication: Multi-robot LTL planning under uncertainty

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