[SPM+21]
Charlie Street, Sebastian Putz, Manuel Muhlig, Nick Hawes and Bruno Lacerda.
Congestion-Aware Policy Synthesis for Multi-Robot Systems.
IEEE Transactions on Robotics.
2021.
[Proposes a congestion-aware multi-robot planning framework, with use of PRISM as an underlying solver.]
|
