Bastien Maubert

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the complexity of model checking knowledge and time ACM Transactions on Computational Logic	2024-04-26	Paper
Reasoning about Quality and Fuzziness of Strategic Behaviors ACM Transactions on Computational Logic	2023-07-18	Paper
Quantifying Bounds in Strategy Logic	2022-05-28	Paper
Copy and remove as dynamic operators Journal of Applied Non-Classical Logics	2022-03-03	Paper
Dynamic epistemic logic games with epistemic temporal goals (available as arXiv preprint)	2021-07-06	Paper
Automata techniques for epistemic protocol synthesis	2021-06-22	Paper
Automata techniques for epistemic protocol synthesis (available as arXiv preprint)	2021-06-22	Paper
The complexity of synthesizing uniform strategies	2021-05-06	Paper
The complexity of synthesizing uniform strategies (available as arXiv preprint)	2021-05-06	Paper
Opacity issues in games with imperfect information	2021-03-03	Paper
Opacity issues in games with imperfect information (available as arXiv preprint)	2021-03-03	Paper
scientific article; zbMATH DE number 7297884 (Why is no real title available?)	2021-01-19	Paper
scientific article; zbMATH DE number 7297884 (Why is no real title available?) (available as arXiv preprint)	2021-01-19	Paper
Reasoning about knowledge and messages in asynchronous multi-agent systems Mathematical Structures in Computer Science	2018-12-04	Paper
Relating paths in transition systems: the fall of the modal mu-calculus ACM Transactions on Computational Logic	2018-10-24	Paper
Jumping Automata for Uniform Strategies	2017-02-21	Paper
Tableau method and NEXPTIME-completeness of DEL-sequents Electronic Notes in Theoretical Computer Science	2016-10-07	Paper
Asynchronous announcements in a public channel Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
Unifying hyper and epistemic temporal logics Lecture Notes in Computer Science	2015-10-01	Paper
Relating paths in transition systems: the fall of the modal mu-calculus Mathematical Foundations of Computer Science 2015	2015-09-16	Paper
Uniform strategies, rational relations and jumping automata Information and Computation	2015-06-01	Paper
A general notion of uniform strategies International Game Theory Review	2014-04-01	Paper
Generalized DEL-Sequents Logics in Artificial Intelligence	2012-09-21	Paper
Games with Opacity Condition Lecture Notes in Computer Science	2009-11-19	Paper

Research outcomes over time

This page was built for person: Bastien Maubert