Advanced search    

Search: authors:"Aniello Murano"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Quantifying Bounds in Strategy Logic

- 713 , 2002 . doi: 10 .1145/585265.585270. Benjamin Aminof , Aniello Murano, Sasha Rubin , and Florian Zuleger . Prompt alternatingtime epistemic logics . In KR , pages 258 - 267 . AAAI Press, 2016 . URL ... : http://www.aaai. org/ocs/index.php/KR/KR16/paper/view/12890. In POPL , pages 164 - 176 , 1981 . doi: 10 .1145/567532.567551. Raphaƫl Berthon , Bastien Maubert, and Aniello Murano . Decidability results