Bastien Maubert

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 52

Top Venues

CoRR

IJCAI

ACM Trans. Comput. Log.

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Laura Bozzelli, Bastien Maubert, Aniello Murano
On the Complexity of Model Checking Knowledge and Time. ACM Trans. Comput. Log. 25 (1) (2024)
Bastien Maubert, Aniello Murano, Sasha Rubin
Logical aspects of multi-agent systems. Ann. Math. Artif. Intell. 91 (4) (2023)
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Formal Verification of Bayesian Mechanisms. AAAI (2023)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. 24 (3) (2023)
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Automated Synthesis of Mechanisms. IJCAI (2022)
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Public and Private Affairs in Strategic Reasoning. KR (2022)
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Synthesis of Mechanisms with Strategy Logic. ICTCS (2022)
Bastien Maubert
Recent Results on Strategy Logic with Imperfect Information. ICTCS (2021)
Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber
Copy and remove as dynamic operators. J. Appl. Non Class. Logics 31 (3-4) (2021)
Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
Reasoning About Agents That May Know Other Agents' Strategies. IJCAI (2021)
Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Strategic Reasoning in Automated Mechanism Design. KR (2021)
Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin
Preface. Inf. Comput. 276 (2021)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. CoRR (2020)
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Concurrent Games in Dynamic Epistemic Logic. IJCAI (2020)
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. ECAI (2020)
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. IJCAI (2020)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. CoRR (2020)
Giuseppe De Giacomo, Bastien Maubert, Aniello Murano
Nondeterministic Strategies and their Refinement in Strategy Logic. KR (2020)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI (2020)
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. CoRR (2020)
Bastien Maubert, Aniello Murano, Olivier Serre
Reasoning about strategies on collapsible pushdown arenas with imperfect information. CoRR (2020)
Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano
Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. ICTCS (2019)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Reasoning about Changes of Observational Power in Logics of Knowledge and Time. AAMAS (2019)
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
Reachability Games in Dynamic Epistemic Logic. CoRR (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR (2019)
Laura Bozzelli, Bastien Maubert, Aniello Murano
The Complexity of Model Checking Knowledge and Time. IJCAI (2019)
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
Reachability Games in Dynamic Epistemic Logic. IJCAI (2019)
Sophia Knight, Bastien Maubert
Dealing with imperfect information in Strategy Logic. CoRR (2019)
Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI (2019)
Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin
Probabilistic Strategy Logic. IJCAI (2019)
Sophia Knight, Bastien Maubert, François Schwarzentruber
Reasoning about knowledge and messages in asynchronous multi-agent systems. Math. Struct. Comput. Sci. 29 (1) (2019)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. CoRR (2018)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Changing Observations in Epistemic Temporal Logic. KR (2018)
Bastien Maubert, Aniello Murano
Reasoning about Knowledge and Strategies under Hierarchical Information. KR (2018)
Raphaël Berthon, Bastien Maubert, Aniello Murano
Decidability results for ATL* with imperfect information and perfect recall. CoRR (2018)
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin
Quantifying Bounds in Strategy Logic. CSL (2018)
Catalin Dima, Bastien Maubert, Sophie Pinchinat
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. ACM Trans. Comput. Log. 19 (3) (2018)
Bastien Maubert, Aniello Murano
Reasoning about Knowledge and Strategies. CoRR (2018)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Changing Observations in Epistemic Temporal Logic. CoRR (2018)
Raphaël Berthon, Bastien Maubert, Aniello Murano
Decidability Results for ATL* with Imperfect Information and Perfect Recall. AAMAS (2017)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy logic with imperfect information. LICS (2017)
Tristan Charrier, Bastien Maubert, François Schwarzentruber
On the Impact of Modal Depth in Epistemic Planning. IJCAI (2016)
Catalin Dima, Bastien Maubert, Sophie Pinchinat
Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus. ICTCS (2016)
Raphaël Berthon, Bastien Maubert, Aniello Murano
Quantified CTL with imperfect information. CoRR (2016)
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
Unifying Hyper and Epistemic Temporal Logics. FoSSaCS (2015)
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
Games with Communication: From Belief to Preference Change. PRIMA (2015)
Catalin Dima, Bastien Maubert, Sophie Pinchinat
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. MFCS (1) (2015)
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
Uniform strategies, rational relations and jumping automata. Inf. Comput. 242 (2015)
Sophia Knight, Bastien Maubert, François Schwarzentruber
Asynchronous Announcements in a Public Channel. ICTAC (2015)
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
Unifying Hyper and Epistemic Temporal Logic. CoRR (2014)
Catalin Dima, Bastien Maubert, Sophie Pinchinat
The Expressive Power of Epistemic $μ$-Calculus. CoRR (2014)
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
Automata Techniques for Epistemic Protocol Synthesis. SR (2014)
Bastien Maubert, Sophie Pinchinat
A General Notion of Uniform Strategies. IGTR 16 (1) (2014)
Bastien Maubert, Sophie Pinchinat
Jumping Automata for Uniform Strategies. FSTTCS (2013)
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
The Complexity of Synthesizing Uniform Strategies SR (2013)
Guillaume Aucher, Bastien Maubert, François Schwarzentruber
Generalized DEL-Sequents. JELIA (2012)
Bastien Maubert, Sophie Pinchinat
Uniform Strategies CoRR (2012)
Guillaume Aucher, Bastien Maubert, François Schwarzentruber
Tableau Method and NEXPTIME-Completeness of DEL-Sequents. Electron. Notes Theor. Comput. Sci. 278 (2011)
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
Opacity Issues in Games with Imperfect Information GandALF (2011)
Bastien Maubert, Sophie Pinchinat
Games with Opacity Condition. RP (2009)

Bastien Maubert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bastien Maubert