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)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)Characterising the Manipulability of Boolean Games., , and . IJCAI, page 1081-1087. ijcai.org, (2017)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)Reasoning about Equilibria in Game-Like Concurrent Systems., , and . KR, AAAI Press, (2014)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)