From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Strategy Logic with Imperfect Information., , , , и . ACM Trans. Comput. Log., 22 (1): 5:1-5:51 (2021)Alternating Tree Automata with Qualitative Semantics., , , , , , , , , и . ACM Trans. Comput. Log., 22 (1): 7:1-7:24 (2021)Strategic Reasoning in Automated Mechanism Design., , , и . KR, стр. 487-496. (2021)Nondeterministic Strategies and their Refinement in Strategy Logic., , и . KR, стр. 294-303. (2020)Logical aspects of multi-agent systems., , и . Ann. Math. Artif. Intell., 91 (4): 373-374 (августа 2023)Reasoning about knowledge and messages in asynchronous multi-agent systems., , и . Math. Struct. Comput. Sci., 29 (1): 127-168 (2019)Concurrent Games in Dynamic Epistemic Logic., , , и . IJCAI, стр. 1877-1883. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..The Complexity of Model Checking Knowledge and Time., , и . IJCAI, стр. 1595-1601. ijcai.org, (2019)Formal Verification of Bayesian Mechanisms., , , и . AAAI, стр. 11621-11629. AAAI Press, (2023)Reasoning about Quality and Fuzziness of Strategic Behaviors., , , , , и . ACM Trans. Comput. Log., 24 (3): 21:1-21:38 (2023)