%0 Journal Article %1 journals/logcom/MogaveroMV16 %A Mogavero, Fabio %A Murano, Aniello %A Vardi, Moshe Y. %D 2016 %J J. Log. Comput. %K dblp %N 5 %P 1663-1695 %T Relentful strategic reasoning in alternating-time temporal logic. %U http://dblp.uni-trier.de/db/journals/logcom/logcom26.html#MogaveroMV16 %V 26

@article{journals/logcom/MogaveroMV16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Mogavero, Fabio and Murano, Aniello and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2ab2ecc32442cae2f1198a1dee4e7dc74/dblp}, ee = {https://doi.org/10.1093/logcom/exu052}, interhash = {5f2f592d56cbb0054729d8c97c6044dd}, intrahash = {ab2ecc32442cae2f1198a1dee4e7dc74}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 5, pages = {1663-1695}, timestamp = {2024-04-09T05:12:31.000+0200}, title = {Relentful strategic reasoning in alternating-time temporal logic.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom26.html#MogaveroMV16}, volume = 26, year = 2016 }