Timed ATL: Forget Memory, Just Count

Étienne André (Université Paris 13), Laure Petrucci (Université Paris 13), Wojciech Jamroga (Polish Academy of Sciences), Michal Knapik (Polish Academy of Sciences), Wojciech Penczek (olish Academy of Sciences & University of Natural Sciences and Humanities)

Abstract

The abstract for this paper is not yet available.