Article (Scientific journals)
Timed ATL: Forget Memory, Just Count
Knapik, Michal; André, Étienne; Petrucci, Laure et al.
2019In Journal of Artificial Intelligence Research, 66, p. 197--223
Peer reviewed
 

Files


Full Text
CountingATL19jair[1].pdf
Publisher postprint (444.81 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Knapik, Michal
André, Étienne
Petrucci, Laure
Jamroga, Wojciech ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Penczek, Wojciech
External co-authors :
yes
Language :
English
Title :
Timed ATL: Forget Memory, Just Count
Publication date :
2019
Journal title :
Journal of Artificial Intelligence Research
Volume :
66
Pages :
197--223
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 21 January 2020

Statistics


Number of views
45 (0 by Unilu)
Number of downloads
43 (1 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
3
OpenCitations
 
1
WoS citations
 
4

Bibliography


Similar publications



Contact ORBilu