A POMDP-based synthesis and verification pipeline can generate recurrent, energy-minimizing cleaning strategies for small robot collectives, but the soundness of the probabilistic abstraction used is left unproven.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.MA 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study
A POMDP-based synthesis and verification pipeline can generate recurrent, energy-minimizing cleaning strategies for small robot collectives, but the soundness of the probabilistic abstraction used is left unproven.