Article,
Timed ATL: Forget Memory, Just Count.
M. Knapik, É. André, L. Petrucci, W. Jamroga, and W. Penczek.J. Artif. Intell. Res., (2019)
Meta data
- BibTeX key
- journals/jair/KnapikAPJP19
- entry type
- article
- year
- 2019
- journal
- J. Artif. Intell. Res.
- pages
- 197-223
- volume
- 66
- ee
- https://doi.org/10.1613/jair.1.11612
- url
- http://dblp.uni-trier.de/db/journals/jair/jair66.html#KnapikAPJP19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/jair/KnapikAPJP19
%A Knapik, Michal
%A André, Étienne
%A Petrucci, Laure
%A Jamroga, Wojciech
%A Penczek, Wojciech
%D 2019
%J J. Artif. Intell. Res.
%K dblp
%P 197-223
%T Timed ATL: Forget Memory, Just Count.
%U http://dblp.uni-trier.de/db/journals/jair/jair66.html#KnapikAPJP19
%V 66
@article{journals/jair/KnapikAPJP19,
added-at = {2021-04-09T00:00:00.000+0200},
author = {Knapik, Michal and André, Étienne and Petrucci, Laure and Jamroga, Wojciech and Penczek, Wojciech},
biburl = {https://www.bibsonomy.org/bibtex/2df01ba3495b4d91c2b04571f065f5257/dblp},
ee = {https://doi.org/10.1613/jair.1.11612},
interhash = {386bfb6d745edf3b72c126cff2d1e9c9},
intrahash = {df01ba3495b4d91c2b04571f065f5257},
journal = {J. Artif. Intell. Res.},
keywords = {dblp},
pages = {197-223},
timestamp = {2024-04-08T20:02:56.000+0200},
title = {Timed ATL: Forget Memory, Just Count.},
url = {http://dblp.uni-trier.de/db/journals/jair/jair66.html#KnapikAPJP19},
volume = 66,
year = 2019
}