|
[Sch23]
Georg Friedrich Schuppe.
Assumptions in Synthesis: An Approach to Multi-Agent Planning from Spatio-Temporal Specifications.
Ph.D. thesis, Royal Institute of Technology, Stockholm, Sweden.
2023.
[Presents decentralised strategy synthesis algorithms for multi-agent systems, including a tool chain that incorporares PRISM-games.
]
|
|
Links:
[Google]
[Google Scholar]
|