Resource-bounded ATL: the Quest for Tractable Fragments

• Francesco Belardinelli, Stéphane Demri:
  
•  Resource-bounded ATL: the Quest for Tractable Fragments.
  AAMAS 2019: 206-214
•  
•   
• Francesco Belardinelli
•  Imperial College London & Université d'Evry, London, United Kingdom

 Stéphane Demri
 LSV, CNRS, ENS Paris-Saclay, Université Paris-Saclay, Cachan, France