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

From model checking to equilibrium checking: Reactive modules for rational verification., , and . Artif. Intell., (2017)A qualitative vickrey auction., , and . EC, page 197-206. ACM, (2009)Rational Verification: From Model Checking to Equilibrium Checking., , , , , and . AAAI, page 4184-4191. AAAI Press, (2016)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)A Hotelling-Downs Framework for Party Nominees., , , and . AAMAS, page 593-601. ACM, (2021)Computing Nash Equilibria for District-based Nominations., and . AAMAS, page 588-596. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), (2022)Characterising the Manipulability of Boolean Games., , and . IJCAI, page 1081-1087. ijcai.org, (2017)Reasoning about Equilibria in Game-Like Concurrent Systems., , and . KR, AAAI Press, (2014)k-Majority digraphs and the hardness of voting with a constant number of voters., , , , , , and . J. Comput. Syst. Sci., (2019)k-Prize Weighted Voting Games., , , , , , , and . CoRR, (2023)