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.
ter Beek & Axel Legay (2020): Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with UPPAAL Stratego
1 Pith paper cite this work, alongside 29 external citations. Polarity classification is still indexing.
1
Pith paper citing it
29
external citations · OpenAlex
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.