Nondeterministic Strategies and their Refinement in Strategy Logic
Bibtex record
@inproceedings{KR2020-30, title = {{Nondeterministic Strategies and their Refinement in Strategy Logic}}, author = {De Giacomo, Giuseppe and Maubert, Bastien and Murano, Aniello}, booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}}, pages = {294--303}, year = {2020}, month = {9}, doi = {10.24963/kr.2020/30}, url = {https://doi.org/10.24963/kr.2020/30}, }