Articles with public access mandates - Étienne André - Luxembourg National Research FundLearn more
Available based on mandate: 2
Timed ATL: forget memory, just count
MJ Knapik, É André, L Petrucci, W Jamroga, W Penczek
Journal of Artificial Intelligence Research 66, 197-223, 2019
Timed ATL: Forget Memory, Just Count.
É André, L Petrucci, W Jamroga, M Knapik, W Penczek
Journal of Artificial Intelligence Research 66, 2019
Publication and funding information is determined automatically by a computer program