Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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