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

Employing Student Retention Strategies for an Introductory GPU Programming Course., , und . EduHPC@SC, Seite 31-40. IEEE, (2018)From model checking to equilibrium checking: Reactive modules for rational verification., , und . Artif. Intell., (2017)EVE: A Tool for Temporal Equilibrium Analysis., , , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 551-557. Springer, (2018)On Computational Tractability for Rational Verification., , , und . IJCAI, Seite 329-335. ijcai.org, (2019)Imperfect information in Reactive Modules games., , und . Inf. Comput., (2018)Equilibrium Design for Concurrent Games., , , und . CoRR, (2021)Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)., , , , und . CoRR, (2023)On the Complexity of Rational Verification., , , und . CoRR, (2022)Rational verification: game-theoretic verification of multi-agent systems., , , , , , , , und . Appl. Intell., 51 (9): 6569-6584 (2021)Rational Verification: From Model Checking to Equilibrium Checking., , , , , und . AAAI, Seite 4184-4191. AAAI Press, (2016)