Author of the publication

Boolean Games with Epistemic Goals.

, , , and . LORI, volume 8196 of Lecture Notes in Computer Science, page 1-14. Springer, (2013)

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: game-theoretic verification of multi-agent systems., , , , , , , , and . Appl. Intell., 51 (9): 6569-6584 (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)Rational Verification: From Model Checking to Equilibrium Checking., , , , , and . AAAI, page 4184-4191. AAAI Press, (2016)Behavioural strategies in weighted Boolean games., , , , and . Inf. Comput., (2021)k-Majority digraphs and the hardness of voting with a constant number of voters., , , , , , and . J. Comput. Syst. Sci., (2019)Expressiveness and Nash Equilibrium in Iterated Boolean Games., , , and . AAMAS, page 707-715. ACM, (2016)k-Prize Weighted Voting Games., , , , , , , and . CoRR, (2023)Partial Order Games., , , and . Games, 13 (1): 2 (2022)