Back
  1. Home
  3. Detailed Reference
Download
Article (Scientific journals)
Timed ATL: Forget Memory, Just Count
Knapik, Michal; André, Étienne; Petrucci, Laure et al.
2019 • In Journal of Artificial Intelligence Research, 66, p. 197--223
Peer reviewed
Permalink
https://hdl.handle.net/10993/41794
DOI
10.1613/jair.1.11612
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

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
86 (0 by Unilu)
Number of downloads
67 (1 by Unilu)
More statistics
Scopus citations®
 
9
Scopus citations®
without self-citations
4
OpenCitations
 
1
OpenAlex citations
 
7
WoS citations™
 
4

Bibliography

Similar publications


Contact ORBilu