Multi-robot LTL planning under uncertainty
type: Item
instance of: scholarly article
title: Multi-robot LTL planning under uncertainty
zbMATH Open document ID: 1460.68119
DOI: 10.1007/978-3-319-95582-7_24
author: Claudio Menghi
author: Sergio García
author: Patrizio Pelliccione
author: Jana Tůmová
publication date: 2021-05-04T00:00:00Z
full work available at URL: http://hdl.handle.net/2077/68935
Mathematics Subject Classification ID: 68T40
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7343224
MaRDI profile type: Publication
OpenAlex ID: W2808947987
cites work: From Model Checking to a Temporal Proof for Partial Models
cites work: Q4818796
cites work: Q4536601
cites work: Data structures for symbolic multi-valued model-checking
cites work: Q5313998
cites work: LTL Generalized Model Checking Revisited
cites work: Motion Planning under Uncertainty for Robotic Tasks with Long Time Horizons
cites work: Supporting verification-driven incremental distributed design of components
cites work: Dealing with incompleteness in automata-based model checking
cites work: Multi-agent planning under local LTL specifications and event-based synchronization
cites work: Reasoning about infinite computations
description: scientific article; zbMATH DE number 7343224