Multi-robot LTL planning under uncertainty

DOI10.1007/978-3-319-95582-7_24zbMath1460.68119OpenAlexW2808947987MaRDI QIDQ2024360

Sergio García, Claudio Menghi, 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

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

Related Items (4)

Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ PuRSUE -- from specification of robotic environments to synthesis of controllers ⋮ TOrPEDO : witnessing model correctness with topological proofs ⋮ A verification-driven framework for iterative design of controllers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-agent planning under local LTL specifications and event-based synchronization
• Data structures for symbolic multi-valued model-checking
• Reasoning about infinite computations
• Dealing with incompleteness in automata-based model checking
• Supporting verification-driven incremental distributed design of components
• Motion Planning under Uncertainty for Robotic Tasks with Long Time Horizons
• LTL Generalized Model Checking Revisited
• From Model Checking to a Temporal Proof for Partial Models

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