Logical foundations of games with imperfect information:
uniform strategies [.pdf
| .bib]
Université de Rennes 1, defended in January 2014.
Jury:
Joseph Y. Halpern (president)
Christof Löding and Ram Ramanujam (referees)
Dietmar
Berwanger, Thomas Bolander and Catalin Dima (examiners) Sophie
Pinchinat (advisor) and Guillaume Aucher
(co-advisor)
Reasoning about knowledge and messages in
asynchronous multi-agent systems
[.pdf | .bib] Sophia
Knight, Bastien Maubert and François Schwarzentruber
Mathematical Structures in Computer
Science (MSCS), 2017. Special
issue for ICTAC 2015.
Uniform Strategies, Rational Relations and
Jumping Automata
[.pdf
| .bib]
Laura Bozzelli, Bastien Maubert and Sophie
Pinchinat Information
and Computation (I&C), vol. 242, 2015. Special issue for SR 2013.
Strategic Reasoning in Automated Mechanism
Design
Bastien Maubert, Munyque Mittelmann, Aniello Murano
and Laurent Perrussel KR 2021,
18th International Conference on Principles of
Knowledge Representation and Reasoning
Reasoning About Agents that May Know Other
Agents' Strategies
Francesco Belardinelli, Sophia Knight, Alessio
Lomuscio, Bastien Maubert, Sasha Rubin and Aniello Murano IJCAI 2021,
30th International Joint Conference on Artificial Intelligence
2020:
Nondeterministic Strategies and their Refinement in Strategy Logic
Giuseppe De Giacomo, Bastien Maubert and Aniello Murano KR
2020,
17th International Conference on Principles of Knowledge Representation and Reasoning
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano
and Moshe Vardi IJCAI-PRICAI 2020,
29th International Joint Conference on
Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence
Concurrent Games in Dynamic Epistemic Logic
Bastien Maubert, Sophie Pinchinat, François
Schwarzentruber and Silvia Stranieri IJCAI-PRICAI
2020,
29th International Joint Conference on
Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
[.pdf (short
version) | .pdf (long version)]
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri ECAI
2020,
24th European Conference on Artificial Intelligence,
Santiago de Compostella, Spain, August 31-
September 2, 2020
2019:
The Complexity of Model Checking
Knowledge and Time
[.pdf (short
version) | .pdf (long version)]
Laura Bozzelli, Bastien Maubert and Aniello Murano IJCAI
2019,
28th International Joint Conference on Artificial Intelligence, Macao, China, August 10-16, 2019
Reachability Games in Dynamic Epistemic Logic Bastien Maubert, Sophie Pinchinat and François
Schwarzentruber [.pdf
(short version) | .pdf
(long version)] IJCAI
2019,
28th International Joint Conference on Artificial Intelligence, Macao, China, August 10-16, 2019
Reasoning about Quality and Fuzziness of
Strategic Behaviours
Patricia Bouyer, Orna Kupferman, Nicolas Markey,
Bastien Maubert, Aniello Murano and Giuseppe Perelli [.pdf
(short version) | .pdf
(long version)] IJCAI
2019,
28th International Joint Conference on Artificial Intelligence, Macao, China, August 10-16, 2019
Probabilistic Strategy Logic
Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano
and Sasha Rubin [.pdf] IJCAI
2019,
28th International Joint Conference on Artificial Intelligence, Macao, China, August 10-16, 2019
Reasoning about Changes of Observational Power in Logics of Knowledge and Time
[.pdf]
Aurèle Barrière, Bastien Maubert, Aniello Murano
and Sasha Rubin AAMAS
2019,
18th International Conference on Autonomous Agents and
Multiagent Systems, Montreal, Canada, May 13-17, 2019
2018:
Reasoning about Knowledge and Strategies under
Hierarchical Information
[.pdf | .bib]
Bastien Maubert and Aniello Murano KR
2018,
16th International Conference on Principles of Knowledge
Representation and Reasoning, Tempe, Arizona,
October 30 - November 2, 2018
Changing Observations in Epistemic Temporal
Logic (extended abstract)
[.pdf
| .bib |
Full
version on arXiv]
Aurèle Barrière, Bastien Maubert, Aniello Murano and
Sasha Rubin KR
2018,
16th International Conference on Principles of Knowledge
Representation and Reasoning, Tempe, Arizona,
October 30 - November 2, 2018
Quantifying bounds in Strategy Logic
[.pdf | .bib]
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano and
Sasha Rubin CSL
2018,
27th Annual EACSL Conference on
Computer Science Logic, Birmingham, England,
September 4-7, 2018
2017:
Strategy Logic with Imperfect Information
[.pdf | .bib]
Raphaël Berthon, Bastien Maubert, Aniello Murano,
Sasha Rubin and Moshe Vardi LICS
2017,
32nd Annual ACM/IEEE Symposium on
Logic in Computer Science, Reykjavik, Iceland,
June 20-23, 2017
Decidability results for ATL* with imperfect
information and perfect recall
[.pdf | .bib]
Raphaël Berthon, Bastien Maubert and Aniello Murano AAMAS 2017,
16th International Conference on Autonomous Agents and
Multiagent Systems, São Paulo, Brazil,
May 8-12, 2017
2016:
On the impact of modal depth in epistemic
planning
[.pdf | .bib]
Tristan Charrier, Bastien Maubert and François Schwarzentruber IJCAI 2016,
25th International Joint Conference on Artificial
Intelligence, New-York, USA,
July 9-15, 2016
2015:
Dealing with imperfect information in Strategy Logic
[.pdf | .bib]
Sophia Knight and Bastien Maubert SR
2015, 3rd International Workshop on Strategic
Reasoning, Oxford, England,
October 21-22, 2015
(No published proceedings)
Games with Communication: from Belief to
Preference Change
[.pdf | .bib]
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
and François Schwarzentruber PRIMA
2015, 18th Conference on Principles and
Practice of Multi-Agent Systems, Bertinoro, Italy,
October 26-30, 2015
Asynchronous announcements in a public channel
[.pdf | .bib]
Sophia Knight, Bastien Maubert and François Schwarzentruber ICTAC
2015, 12th International Colloquium on
Theoretical Aspects of Computing, Cali, Colombia,
October 29-31, 2015
Relating paths in transition systems: the fall
of the modal mu-calculus
[.pdf | .bib]
Catalin Dima, Bastien Maubert and Sophie Pinchinat MFCS
2015, 40th International Symposium on
Mathematical Foundations
of Computer Science, Milano, Italy,
August 24-28, 2015
Unifying Hyper and Epistemic Temporal Logics
[.pdf | .bib]
Laura Bozzelli, Bastien Maubert and Sophie Pinchinat FoSSaCS
2015, 18th International Conference on Foundations
of Software Science and Computation Structures, London, UK,
April 11-18, 2015
2014:
Automata Techniques for Epistemic Protocol Synthesis
[.pdf | .bib]
Guillaume Aucher, Bastien Maubert and Sophie Pinchinat SR 2014, 2nd
International Workshop on Strategic Reasoning, Grenoble, France,
April 5-6, 2014
2013:
Jumping Automata for Uniform Strategies [.pdf
| .bib]
Bastien Maubert and Sophie Pinchinat FSTTCS 2013, 33rd
Conference on Foundations of Software Technology and Theoretical
Computer Science, Guwahati, India, December 12-14, 2013
The Complexity of Synthesizing Uniform Strategies [.pdf
| .bib]
Bastien Maubert, Sophie Pinchinat and Laura Bozzelli SR 2013, 1st
International Workshop on Strategic Reasoning, Rome, Italy,
March 16-17, 2013
2012:
Generalized DEL-sequents [.pdf
| .bib]
Guillaume Aucher, Bastien Maubert and François Schwarzentruber JELIA 2012, 13th
European Conference on Logics for Artificial Intelligence,
Toulouse, France, September 26-28, 2012
Uniform Strategies [.pdf
| .bib]
Bastien Maubert and Sophie Pinchinat LOFT 2012, 10th
Conference on Logic and the Foundations of Game and Decision
Theory, Sevilla, Spain, June 18-20, 2012
(No published proceedings)
2011:
Tableau Method and NEXPTIME-Completeness of DEL-Sequents
[.pdf | .bib]
Guillaume Aucher, Bastien Maubert and François Schwarzentruber M4M 7, 7th Methods
for Modalities workshop, Osuna, Spain, November 10-12, 2011
Opacity Issues in Games with Imperfect Information [.pdf
| .bib]
Bastien Maubert, Sophie Pinchinat and Laura Bozzelli GandALF
2011, 2nd International Symposium on Games, Automata,
Logics and Formal Verification, Minory, Italy, 15-17 June, 2011
2009:
Games with Opacity Condition [.pdf
| .bib]
Bastien Maubert and Sophie Pinchinat RP
2009, 3rd Workshop on Reachability Problems, Ecole
Polytechnique, France, September 23-25, 2009
Unpublished
Quantified CTL with imperfect information
[.pdf | .bib]
Raphaël Berthon, Bastien Maubert and Aniello Murano arXiv,
2016