%0 Conference Paper %1 conf/kr/GiacomoMM20 %A Giacomo, Giuseppe De %A Maubert, Bastien %A Murano, Aniello %B KR %D 2020 %E Calvanese, Diego %E Erdem, Esra %E Thielscher, Michael %K dblp %P 294-303 %T Nondeterministic Strategies and their Refinement in Strategy Logic. %U http://dblp.uni-trier.de/db/conf/kr/kr2020.html#GiacomoMM20 %@ 978-0-9992411-7-2

@inproceedings{conf/kr/GiacomoMM20, added-at = {2022-06-23T00:00:00.000+0200}, author = {Giacomo, Giuseppe De and Maubert, Bastien and Murano, Aniello}, biburl = {https://www.bibsonomy.org/bibtex/28d85ab04bfb62bb723419dde658cb245/dblp}, booktitle = {KR}, crossref = {conf/kr/2020}, editor = {Calvanese, Diego and Erdem, Esra and Thielscher, Michael}, ee = {https://doi.org/10.24963/kr.2020/30}, interhash = {7aa215177c09e0fbaae1d9d56285426e}, intrahash = {8d85ab04bfb62bb723419dde658cb245}, isbn = {978-0-9992411-7-2}, keywords = {dblp}, pages = {294-303}, timestamp = {2024-04-10T13:33:57.000+0200}, title = {Nondeterministic Strategies and their Refinement in Strategy Logic.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2020.html#GiacomoMM20}, year = 2020 }