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.

 

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

Nash Equilibrium and Bisimulation Invariance., , , и . CoRR, (2018)What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic., , , и . CONCUR, том 7454 из Lecture Notes in Computer Science, стр. 193-208. Springer, (2012)Multi-Player Games with LDL Goals over Finite Traces., , и . CoRR, (2020)Automated temporal equilibrium analysis: Verification and synthesis of multi-player games., , , и . Artif. Intell., (2020)Solving Parity Games Using An Automata-Based Algorithm., , , и . CoRR, (2019)Behavioral QLTL., и . CoRR, (2021)Reasoning About Quality and Fuzziness of Strategic Behaviours., , , , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2887-2888. IOS Press, (2020)Timed Trace Alignment with Metric Temporal Logic over Finite Traces., , , и . KR, стр. 227-236. (2021)Reconfigurable Interaction for MAS Modelling., , и . AAMAS, стр. 7-15. International Foundation for Autonomous Agents and Multiagent Systems, (2020)Binding Forms in First-Order Logic., и . CSL, том 41 из LIPIcs, стр. 648-665. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)