Reference : Timed ATL: Forget Memory, Just Count
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/41794
Timed ATL: Forget Memory, Just Count
English
Knapik, Michal [> >]
André, Étienne [> >]
Petrucci, Laure [> >]
Jamroga, Wojciech mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
Penczek, Wojciech [> >]
2019
Journal of Artificial Intelligence Research
66
197--223
Yes
International
http://hdl.handle.net/10993/41794
10.1613/jair.1.11612

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
CountingATL19jair[1].pdfPublisher postprint434.39 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.