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

From model checking to equilibrium checking: Reactive modules for rational verification., , und . Artif. Intell., (2017)A qualitative vickrey auction., , und . EC, Seite 197-206. ACM, (2009)Behavioural strategies in weighted Boolean games., , , , und . Inf. Comput., (2021)Rational verification: game-theoretic verification of multi-agent systems., , , , , , , , und . Appl. Intell., 51 (9): 6569-6584 (2021)Local Equilibria in Logic-Based Multi-Player Games., , , und . AAMAS, Seite 399-406. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)Rational Verification: From Model Checking to Equilibrium Checking., , , , , und . AAAI, Seite 4184-4191. AAAI Press, (2016)Expressiveness and Nash Equilibrium in Iterated Boolean Games., , , und . AAMAS, Seite 707-715. ACM, (2016)k-Majority digraphs and the hardness of voting with a constant number of voters., , , , , , und . J. Comput. Syst. Sci., (2019)Partial Order Games., , , und . Games, 13 (1): 2 (2022)k-Prize Weighted Voting Games., , , , , , , und . CoRR, (2023)