Bastien Maubert

Available identifiers

zbMath Open maubert.bastienMaRDI QIDQ2346406

List of research outcomes

Publication	Date of Publication	Type
Reasoning about Quality and Fuzziness of Strategic Behaviors	2023-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5079747	2022-05-28	Paper
Copy and remove as dynamic operators	2022-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4999223	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4994896	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q3388751	2021-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4964721	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5144683	2021-01-19	Paper
Reasoning about knowledge and messages in asynchronous multi-agent systems	2018-12-04	Paper
Relating Paths in Transition Systems	2018-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q2963921	2017-02-21	Paper
Tableau Method and NEXPTIME-Completeness of DEL-Sequents	2016-10-07	Paper
Asynchronous Announcements in a Public Channel	2016-02-25	Paper
Unifying Hyper and Epistemic Temporal Logics	2015-10-01	Paper
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus	2015-09-16	Paper
Uniform strategies, rational relations and jumping automata	2015-06-01	Paper
A GENERAL NOTION OF UNIFORM STRATEGIES	2014-04-01	Paper
Generalized DEL-Sequents	2012-09-21	Paper
Games with Opacity Condition	2009-11-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bastien Maubert