Massimiliano de Leoni, Paolo Felli, Marco Montali. Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. In Diego Calvanese, Esra Erdem 0001, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. pages 315-325, 2020. [doi]
Abstract is missing.