Bastien Maubert

According to our database, Bastien Maubert authored at least 51 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

On the Complexity of Model Checking Knowledge and Time.

Laura Bozzelli, Bastien Maubert, Aniello Murano

ACM Trans. Comput. Log., January, 2024

2023

Logical aspects of multi-agent systems.

Bastien Maubert, Aniello Murano, Sasha Rubin

Ann. Math. Artif. Intell., August, 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

Formal Verification of Bayesian Mechanisms.

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Public and Private Affairs in Strategic Reasoning.

Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Automated Synthesis of Mechanisms.

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Synthesis of Mechanisms with Strategy Logic.

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

2021

Strategy Logic with Imperfect Information.

Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi

ACM Trans. Comput. Log., 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

Copy and remove as dynamic operators.

Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber

J. Appl. Non Class. Logics, 2021

Preface.

Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin

Inf. Comput., 2021

Strategic Reasoning in Automated Mechanism Design.

Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Reasoning About Agents That May Know Other Agents' Strategies.

Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Recent Results on Strategy Logic with Imperfect Information.

Bastien Maubert

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020

Reasoning about strategies on collapsible pushdown arenas with imperfect information.

Bastien Maubert, Aniello Murano, Olivier Serre

CoRR, 2020

Nondeterministic Strategies and their Refinement in Strategy Logic.

Giuseppe De Giacomo, Bastien Maubert, Aniello Murano

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Concurrent Games in Dynamic Epistemic Logic.

Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Assume-Guarantee Synthesis for Prompt Linear Temporal Logic.

Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Dynamic Epistemic Logic Games with Epistemic Temporal Goals.

Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Reasoning About Quality and Fuzziness of Strategic Behaviours.

Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Reasoning about knowledge and messages in asynchronous multi-agent systems.

Sophia Knight, Bastien Maubert, François Schwarzentruber

Math. Struct. Comput. Sci., 2019

Dealing with imperfect information in Strategy Logic.

Sophia Knight, Bastien Maubert

CoRR, 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

Reachability Games in Dynamic Epistemic Logic.

Bastien Maubert, Sophie Pinchinat, François Schwarzentruber

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Probabilistic Strategy Logic.

Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Towards a Tool for LTL Synthesis with Bounded-Energy Constraints.

Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Reasoning about Changes of Observational Power in Logics of Knowledge and Time.

Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

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 Knowledge and Strategies.

Bastien Maubert, Aniello Murano

CoRR, 2018

Reasoning about Knowledge and Strategies under Hierarchical Information.

Bastien Maubert, Aniello Murano

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Changing Observations in Epistemic Temporal Logic.

Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Quantifying Bounds in Strategy Logic.

Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Decidability Results for ATL* with Imperfect Information and Perfect Recall.

Raphaël Berthon, Bastien Maubert, Aniello Murano

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Quantified CTL with imperfect information.

Raphaël Berthon, Bastien Maubert, Aniello Murano

CoRR, 2016

On the Impact of Modal Depth in Epistemic Planning.

Tristan Charrier, Bastien Maubert, François Schwarzentruber

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Uniform strategies, rational relations and jumping automata.

Laura Bozzelli, Bastien Maubert, Sophie Pinchinat

Inf. Comput., 2015

Games with Communication: From Belief to Preference Change.

Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Asynchronous Announcements in a Public Channel.

Sophia Knight, Bastien Maubert, François Schwarzentruber

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Unifying Hyper and Epistemic Temporal Logics.

Laura Bozzelli, Bastien Maubert, Sophie Pinchinat

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

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

Bastien Maubert

PhD thesis, 2014

A General Notion of Uniform Strategies.

Bastien Maubert, Sophie Pinchinat

IGTR, 2014

The Expressive Power of Epistemic $μ$-Calculus.

Catalin Dima, Bastien Maubert, Sophie Pinchinat

CoRR, 2014

Unifying Hyper and Epistemic Temporal Logic.

Laura Bozzelli, Bastien Maubert, Sophie Pinchinat

CoRR, 2014

Automata Techniques for Epistemic Protocol Synthesis.

Guillaume Aucher, Bastien Maubert, Sophie Pinchinat

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

2013

The Complexity of Synthesizing Uniform Strategies

Bastien Maubert, Sophie Pinchinat, Laura Bozzelli

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

Jumping Automata for Uniform Strategies.

Bastien Maubert, Sophie Pinchinat

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Uniform Strategies

Bastien Maubert, Sophie Pinchinat

CoRR, 2012

Generalized DEL-Sequents.

Guillaume Aucher, Bastien Maubert, François Schwarzentruber

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

Tableau Method and NEXPTIME-Completeness of DEL-Sequents.

Guillaume Aucher, Bastien Maubert, François Schwarzentruber

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Opacity Issues in Games with Imperfect Information

Bastien Maubert, Sophie Pinchinat, Laura Bozzelli

Proceedings of Second International Symposium on Games, 2011

2009

Games with Opacity Condition.

Bastien Maubert, Sophie Pinchinat

Proceedings of the Reachability Problems, 3rd International Workshop, 2009