Alternating-time temporal logic, Journal of the ACM, vol.49, pp.672-713, 2002. ,
On Logics of Strategic Ability based on Propositional Control, Proceedings of the 25th International Joint Conference on Artiicial Intelligence (IJCAI-2016), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01424478
Boolean games revisited, Proceedings of the 17th European Conference on Artiicial Intelligence (ECAI-2006), 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00197022
Model Checking Logics of Strategic Ability: Complexity*. In Speciication and Veriication of Multi-agent Systems, Mehdi Dastani, pp.125-159, 2010. ,
Logics of propositional control, Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), 2006. ,
Equilibrium Reenement through Negotiation in Binary Voting, Proceedings of the 24th International Joint Conference on Artiicial Intelligence (IJCAI-2015), 2015. ,
Strategic Disclosure of Opinions on a Social Network, Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems, p.2017, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01736247
Ceteris Paribus Structure of Logics of Game Forms, Journal of Artiicial Intelligence Research (JAIR), vol.53, pp.91-126, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01809279
Iterated Boolean games, Proceedings of the 23th International Joint Conference on Artiicial Intelligence (IJCAI-2013), 2013. ,
Iterated Boolean games, Information and Computation, vol.242, pp.53-79, 2015. ,
Boolean games, Proceedings of the 8th Conference on eoretical Aspects of Rationality and Knowledge, p.2001, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-01501680
Complexity of Model Checking Succinct Multiagent Systems, Proceedings of the 24th International Joint Conference on Artiicial Intelligence, 2015. ,
Modular interpreted systems, Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2007), 2007. ,
Convergence of iterative voting, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, p.2012, 2012. ,
Convergence to Equilibria in Plurality Voting, Proceedings of the 24th AAAI conference on Artiicial Intelligence (AAAI-2010), 2010. ,
On the Convergence of Iterative Voting: How Restrictive Should Restricted Dynamics Be, Proceedings of the 29th AAAI Conference on Artiicial Intelligence, 2015. ,
1977. e temporal logic of programs, Proceedings of the 18th IEEE Symposium on Foundations of Computer Science ,
On the complexity of practical ATL model checking, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), 2006. ,
Reasoning About the Transfer of Control, Journal of Artiicial Intelligence Research, pp.437-477, 2010. ,
On the logic of cooperation and propositional control, Artiicial Intelligence, vol.164, pp.81-119, 2005. ,