Bastien Maubert | DeepAI

AI Chat

Featured Co-authors

Jean-François Raskin
38 publications
Aniello Murano
24 publications
Patricia Bouyer
24 publications
Nathanaël Fijalkow
23 publications
Shibashis Guha
14 publications
Sasha Rubin
13 publications
Nicolas Markey
12 publications
Giuseppe Perelli
12 publications
François Schwarzentruber
11 publications
Emmanuel Filiot
9 publications
Moshe Vardi
8 publications

∙ 07/30/2020

Reasoning about strategies on collapsible pushdown arenas with imperfect information

Strategy Logic with imperfect information (SLiR) is a very expressive lo...

0 Bastien Maubert, et al. ∙

∙ 02/10/2020

Alternating Tree Automata with Qualitative Semantics

We study alternating automata with qualitative semantics over infinite b...

0 Raphaël Berthon, et al. ∙

∙ 01/20/2020

Dynamic Epistemic Logic Games with Epistemic Temporal Goals

Dynamic Epistemic Logic (DEL) is a logical framework in which one can de...

0 Bastien Maubert, et al. ∙

∙ 08/07/2019

Dealing with imperfect information in Strategy Logic

We propose an extension of Strategy Logic (SL), in which one can both re...

0 Sophia Knight, et al. ∙

∙ 05/29/2019

Reachability Games in Dynamic Epistemic Logic

We define reachability games based on Dynamic Epistemic Logic (DEL), whe...

0 Bastien Maubert, et al. ∙

∙ 05/27/2019

Reasoning about Quality and Fuzziness of Strategic Behaviours

Temporal logics are extensively used for the specification of on-going b...

0 Patricia Bouyer, et al. ∙

∙ 01/14/2019

Monadic Second Order Logic with Path-Measure Quantifier is Undecidable

We prove that the theory of monadic second order logic (MSO) of the infi...

0 Raphaël Berthon, et al. ∙

∙ 05/31/2018

Reasoning about Knowledge and Strategies under Hierarchical Information

Two distinct semantics have been considered for knowledge in the context...

0 Bastien Maubert, et al. ∙

∙ 05/31/2018

Reasoning about Knowledge and Strategies

Two distinct semantics have been considered for knowledge in the context...

0 Bastien Maubert, et al. ∙

∙ 05/31/2018

Strategy Logic with Imperfect Information

We introduce an extension of Strategy Logic for the imperfect-informatio...

0 Raphaël Berthon, et al. ∙

∙ 05/31/2018

Decidability results for ATL* with imperfect information and perfect recall

Alternating-time Temporal Logic (ATL*) is a central logic for multiagent...

0 Raphaël Berthon, et al. ∙

∙ 05/17/2018

Changing Observations in Epistemic Temporal Logic

We study dynamic changes of agents' observational power in logics of kno...

0 Aurèle Barrière, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world