[68nqrt] : Nicolas Dumange (LMF ENS Paris-Saclay) "ATL* with Resources and Imperfect Information"

Nicolas Dumange (LMF ENS Paris-Saclay)  will give a talk on July 16 in Room Aurigny at 2:30pm.



Abstract of the talk: 
In recent years, extensions with either resources consideration or imperfect information of strategy logics, such as ATL or SL,  have gained significant attention separately, but only few work address both simultaneously.

In this this talk, we present an extension of the ATL* that captures framework with both aspects and we study its model-checking problem. Both direction being prompt to undecidability, we especially investigate a decidable fragment and introduce new automata tools to establish the decision procedure.

These automata extend the alternating and nondeterministic parity tree automata adding resource settings, and we investigate strong properties on these automata such as the emptiness and simulation problems.