Author of the publication

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)

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)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)From model checking to equilibrium checking: Reactive modules for rational verification., , and . Artif. Intell., (2017)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)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)Expressiveness and Nash Equilibrium in Iterated Boolean Games., , , and . AAMAS, page 707-715. ACM, (2016)k-Prize Weighted Voting Games., , , , , , , and . CoRR, (2023)