Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek. Timed ATL: Forget Memory, Just Count. In Kate Larson, Michael Winikoff, Sanmay Das, Edmund Durfee, editors, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. pages 1460-1462, ACM, 2017. [doi]
Abstract is missing.