Bastien Maubert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
11
Active years
2012–2023
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | AAAI | Formal Verification of Bayesian Mechanisms. | Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel |
| 2022 | IJCAI | Automated Synthesis of Mechanisms. | Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel |
| 2022 | KR | Public and Private Affairs in Strategic Reasoning. | Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
| 2021 | IJCAI | Reasoning About Agents That May Know Other Agents' Strategies. | Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2021 | KR | Strategic Reasoning in Automated Mechanism Design. | Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel |
| 2020 | ECAI | Reasoning About Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 2020 | ECAI | Dynamic Epistemic Logic Games with Epistemic Temporal Goals. | Bastien Maubert, Aniello Murano, Sophie Pinchinat, Franois Schwarzentruber, Silvia Stranieri |
| 2020 | IJCAI | Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. | Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi |
| 2020 | IJCAI | Concurrent Games in Dynamic Epistemic Logic. | Bastien Maubert, Sophie Pinchinat, Franois Schwarzentruber, Silvia Stranieri |
| 2020 | KR | Nondeterministic Strategies and their Refinement in Strategy Logic. | Giuseppe De Giacomo, Bastien Maubert, Aniello Murano |
| 2019 | IJCAI | Probabilistic Strategy Logic. | Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2019 | IJCAI | Reasoning about Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 2019 | IJCAI | The Complexity of Model Checking Knowledge and Time. | Laura Bozzelli, Bastien Maubert, Aniello Murano |
| 2019 | IJCAI | Reachability Games in Dynamic Epistemic Logic. | Bastien Maubert, Sophie Pinchinat, Franois Schwarzentruber |
| 2018 | CSL | Quantifying Bounds in Strategy Logic. | Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | KR | Changing Observations in Epistemic Temporal Logic. | Aurle Barrire, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | KR | Reasoning about Knowledge and Strategies under Hierarchical Information. | Bastien Maubert, Aniello Murano |
| 2017 | LICS | Strategy logic with imperfect information. | Raphal Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
| 2016 | IJCAI | On the Impact of Modal Depth in Epistemic Planning. | Tristan Charrier, Bastien Maubert, Franois Schwarzentruber |
| 2015 | FOSSACS | Unifying Hyper and Epistemic Temporal Logics. | Laura Bozzelli, Bastien Maubert, Sophie Pinchinat |
| 2015 | ICTAC | Asynchronous Announcements in a Public Channel. | Sophia Knight, Bastien Maubert, Franois Schwarzentruber |
| 2015 | MFCS | Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. | Catalin Dima, Bastien Maubert, Sophie Pinchinat |
| 2015 | PRIMA | Games with Communication: From Belief to Preference Change. | Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, Franois Schwarzentruber |
| 2012 | JELIA | Generalized DEL-Sequents. | Guillaume Aucher, Bastien Maubert, Franois Schwarzentruber |