%0 Journal Article %1 journals/corr/abs-2305-16118 %A Heim, Philippe %A Dimitrova, Rayna %D 2023 %J CoRR %K dblp %T Solving Infinite-State Games via Acceleration. %U http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-16118 %V abs/2305.16118

@article{journals/corr/abs-2305-16118, added-at = {2023-06-07T00:00:00.000+0200}, author = {Heim, Philippe and Dimitrova, Rayna}, biburl = {https://www.bibsonomy.org/bibtex/28f53cbc810f4e85e3804b22a9eb48711/dblp}, ee = {https://doi.org/10.48550/arXiv.2305.16118}, interhash = {47644e424d1dfb8b9e3405000de37ba8}, intrahash = {8f53cbc810f4e85e3804b22a9eb48711}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:55:24.000+0200}, title = {Solving Infinite-State Games via Acceleration.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-16118}, volume = {abs/2305.16118}, year = 2023 }