Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors
Bibtex record
@inproceedings{KR2020-32, title = {{Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors}}, author = {de Leoni, Massimiliano and Felli, Paolo and Montali, Marco}, booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}}, pages = {315--325}, year = {2020}, month = {9}, doi = {10.24963/kr.2020/32}, url = {https://doi.org/10.24963/kr.2020/32}, }