%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 }