An iterative explore-plan-update algorithm that refines a resource belief map for heterogeneous multi-robot teams under CaTL specifications, shown to reach full mission satisfaction in small simulations.
Partial Satisfaction of Signal Tempo- ral Logic Specifications for Coordination of Multi-robot Systems,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.RO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
An iterative explore-plan-update algorithm that refines a resource belief map for heterogeneous multi-robot teams under CaTL specifications, shown to reach full mission satisfaction in small simulations.