|
[ST21]
Georg Friedrich Schuppe and Jana Tumova.
Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers.
In Proc. 2021 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), pages 119-127.
2021.
[Proposes techniques for multi-agent task-planning implemented in a tool chain incorporating PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|