|
[SG24]
Till Schnittka and Mario Gleirscher.
Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study.
In Proc. 6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24).
2024.
[Synthesises controllers for autonomous robot collectives using POMDPs and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|