Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002. ,
Verification of asynchronous mobile-robots in partially-known environments, Proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015), volume 9387 of LNCS, pp.185-200, 2015. ,
Automatic verification of multi-agent systems in parameterised grid-environments, Proceedings of the International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), pp.1190-1199, 2016. ,
Agents that look at one another, Logic Journal of the IGPL, vol.21, issue.3, pp.438-467, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01138505
A logical theory of localization, Studia Logica, vol.104, issue.4, pp.741-772, 2016. ,
Facing the future: agents and choices in our indeterminist world, 2001. ,
Representation, reasoning, and relational structures: a hybrid logic manifesto, Logic Journal of the IGPL, vol.8, pp.339-365, 2000. ,
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, p.244, 1986. ,
Reasoning about knowledge, 1995. ,
, Many-Dimensional Modal Logics: Theory and Applications, 2003.
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane, Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2014), pp.325-332, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01113939
Undecidability of compass logic, Journal of Logic and Computation, vol.9, pp.897-941, 1997. ,
Multi-Dimensional Modal Logic, Applied Logic Series, vol.4, 1997. ,
A modal logic for coalitional power in games, Journal of Logic and Computation, vol.12, issue.1, pp.149-166, 2002. ,
On the products of linear modal logics, Journal of Logic and Compution, vol.11, pp.909-931, 2001. ,
Interactions between knowledge, action and commitment within agent dynamic logic, Studia Logica, vol.78, issue.3, pp.381-415, 2004. ,
Dynamic Epistemic Logic, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00868361
Not all those who wander are lost: Dynamic epistemic reasoning in navigation, Advances in Modal Logic 9, pp.559-580, 2012. ,