Games with Opacity Condition. - Bastien Maubert; Sophie Pinchinat (RP, 2009)

Opacity Issues in Games with Imperfect Information - Bastien Maubert; Sophie Pinchinat; Laura Bozzelli (GandALF, 2011)

Tableau Method and NEXPTIME-Completeness of DEL-Sequents. - Guillaume Aucher; Bastien Maubert; François Schwarzentruber (M4M/LAMAS, 2011)

Generalized DEL-Sequents. - Guillaume Aucher; Bastien Maubert; François Schwarzentruber (JELIA, 2012)

Uniform Strategies - Bastien Maubert; Sophie Pinchinat (CoRR, 2012)

Jumping Automata for Uniform Strategies. - Bastien Maubert; Sophie Pinchinat (FSTTCS, 2013)

The Complexity of Synthesizing Uniform Strategies - Bastien Maubert; Sophie Pinchinat; Laura Bozzelli (SR, 2013)

Automata Techniques for Epistemic Protocol Synthesis. - Guillaume Aucher; Bastien Maubert; Sophie Pinchinat (SR, 2014)

Unifying Hyper and Epistemic Temporal Logic. - Laura Bozzelli; Bastien Maubert; Sophie Pinchinat (CoRR, 2014)

The Expressive Power of Epistemic $μ$-Calculus. - Catalin Dima; Bastien Maubert; Sophie Pinchinat (CoRR, 2014)

A General Notion of Uniform Strategies. - Bastien Maubert; Sophie Pinchinat (IGTR, 2014)

Logical foundations of games with imperfect information : uniform strategies. (Fondations logiques des jeux à information imparfaite : stratégies uniformes). - Bastien Maubert (2014)

Unifying Hyper and Epistemic Temporal Logics. - Laura Bozzelli; Bastien Maubert; Sophie Pinchinat (FoSSaCS, 2015)

Asynchronous Announcements in a Public Channel. - Sophia Knight; Bastien Maubert; François Schwarzentruber (ICTAC, 2015)

Games with Communication: From Belief to Preference Change. - Guillaume Aucher; Bastien Maubert; Sophie Pinchinat; François Schwarzentruber (PRIMA, 2015)

Uniform strategies, rational relations and jumping automata. - Laura Bozzelli; Bastien Maubert; Sophie Pinchinat (Inf. Comput., 2015)

On the Impact of Modal Depth in Epistemic Planning. - Tristan Charrier; Bastien Maubert; François Schwarzentruber (IJCAI, 2016)

Quantified CTL with imperfect information. - Raphaël Berthon; Bastien Maubert; Aniello Murano (CoRR, 2016)

Decidability Results for ATL* with Imperfect Information and Perfect Recall. - Raphaël Berthon; Bastien Maubert; Aniello Murano (AAMAS, 2017)

Quantifying Bounds in Strategy Logic. - Nathanaël Fijalkow; Bastien Maubert; Aniello Murano; Sasha Rubin (CSL, 2018)

Changing Observations in Epistemic Temporal Logic. - Aurèle Barrière; Bastien Maubert; Aniello Murano; Sasha Rubin (KR, 2018)

Reasoning about Knowledge and Strategies under Hierarchical Information. - Bastien Maubert; Aniello Murano (KR, 2018)

Reasoning about Knowledge and Strategies. - Bastien Maubert; Aniello Murano (CoRR, 2018)

Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. - Catalin Dima; Bastien Maubert; Sophie Pinchinat (ACM Trans. Comput. Log., 2018)

Reasoning about Changes of Observational Power in Logics of Knowledge and Time. - Aurèle Barrière; Bastien Maubert; Aniello Murano; Sasha Rubin (AAMAS, 2019)

Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. - Bastien Maubert; Aniello Murano; Pasquale Perillo; Sasha Rubin; Alessio Spasiano (ICTCS, 2019)

Probabilistic Strategy Logic. - Benjamin Aminof; Marta Kwiatkowska; Bastien Maubert; Aniello Murano; Sasha Rubin (IJCAI, 2019)

Reachability Games in Dynamic Epistemic Logic. - Bastien Maubert; Sophie Pinchinat; François Schwarzentruber (IJCAI, 2019)

Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. - Raphaël Berthon; Emmanuel Filiot; Shibashis Guha; Bastien Maubert; Aniello Murano; Laureline Pinault; Jean-François Raskin; Sasha Rubin (CoRR, 2019)

Dealing with imperfect information in Strategy Logic. - Sophia Knight; Bastien Maubert (CoRR, 2019)

Reasoning about knowledge and messages in asynchronous multi-agent systems. - Sophia Knight; Bastien Maubert; François Schwarzentruber (Math. Struct. Comput. Sci., 2019)

Reasoning About Quality and Fuzziness of Strategic Behaviours. - Patricia Bouyer; Orna Kupferman; Nicolas Markey; Bastien Maubert; Aniello Murano; Giuseppe Perelli (ECAI, 2020)

Dynamic Epistemic Logic Games with Epistemic Temporal Goals. - Bastien Maubert; Aniello Murano; Sophie Pinchinat; François Schwarzentruber; Silvia Stranieri (ECAI, 2020)

Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. - Nathanaël Fijalkow; Bastien Maubert; Aniello Murano; Moshe Y. Vardi (IJCAI, 2020)

Concurrent Games in Dynamic Epistemic Logic. - Bastien Maubert; Sophie Pinchinat; François Schwarzentruber; Silvia Stranieri (IJCAI, 2020)

Nondeterministic Strategies and their Refinement in Strategy Logic. - Giuseppe De Giacomo; Bastien Maubert; Aniello Murano (KR, 2020)

Reasoning about strategies on collapsible pushdown arenas with imperfect information. - Bastien Maubert; Aniello Murano; Olivier Serre (CoRR, 2020)

Recent Results on Strategy Logic with Imperfect Information. - Bastien Maubert (ICTCS, 2021)

Reasoning About Agents That May Know Other Agents' Strategies. - Francesco Belardinelli; Sophia Knight; Alessio Lomuscio; Bastien Maubert; Aniello Murano; Sasha Rubin (IJCAI, 2021)

Strategic Reasoning in Automated Mechanism Design. - Bastien Maubert; Munyque Mittelmann; Aniello Murano; Laurent Perrussel (KR, 2021)

Preface. - Wiebe van der Hoek; Bastien Maubert; Aniello Murano; Sasha Rubin (Inf. Comput., 2021)

Copy and remove as dynamic operators. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; Bastien Maubert; François Schwarzentruber (J. Appl. Non Class. Logics, 2021)

Alternating Tree Automata with Qualitative Semantics. - Raphaël Berthon; Nathanaël Fijalkow; Emmanuel Filiot; Shibashis Guha; Bastien Maubert; Aniello Murano; Laureline Pinault; Sophie Pinchinat; Sasha Rubin; Olivier Serre (ACM Trans. Comput. Log., 2021)

Strategy Logic with Imperfect Information. - Raphaël Berthon; Bastien Maubert; Aniello Murano; Sasha Rubin; Moshe Y. Vardi (ACM Trans. Comput. Log., 2021)

Synthesis of Mechanisms with Strategy Logic. - Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel (ICTCS, 2022)

Automated Synthesis of Mechanisms. - Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel (IJCAI, 2022)

Public and Private Affairs in Strategic Reasoning. - Nathanaël Fijalkow; Bastien Maubert; Aniello Murano; Sasha Rubin; Moshe Y. Vardi (KR, 2022)

Formal Verification of Bayesian Mechanisms. - Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel (AAAI, 2023)

Reasoning about Quality and Fuzziness of Strategic Behaviors. - Patricia Bouyer; Orna Kupferman; Nicolas Markey; Bastien Maubert; Aniello Murano; Giuseppe Perelli (ACM Trans. Comput. Log., 2023)

Logical aspects of multi-agent systems. - Bastien Maubert; Aniello Murano; Sasha Rubin (Ann. Math. Artif. Intell., 2023)

On the Complexity of Model Checking Knowledge and Time. - Laura Bozzelli; Bastien Maubert; Aniello Murano (ACM Trans. Comput. Log., 2024)

Formal verification and synthesis of mechanisms for social choice. - Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel (Artif. Intell., 2025)