Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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