%0 Journal Article %1 journals/corr/abs-2405-09281 %A Schmuck, Anne-Kathrin %A Heim, Philippe %A Dimitrova, Rayna %A Nayak, Satya Prakash %D 2024 %J CoRR %K dblp %T Localized Attractor Computations for Infinite-State Games (Full Version). %U http://dblp.uni-trier.de/db/journals/corr/corr2405.html#abs-2405-09281 %V abs/2405.09281

@article{journals/corr/abs-2405-09281, added-at = {2024-06-12T00:00:00.000+0200}, author = {Schmuck, Anne-Kathrin and Heim, Philippe and Dimitrova, Rayna and Nayak, Satya Prakash}, biburl = {https://www.bibsonomy.org/bibtex/2267d991783ac4b2b0ac62bab662ece8f/dblp}, ee = {https://doi.org/10.48550/arXiv.2405.09281}, interhash = {21885d065aa69bfba416d77796003a53}, intrahash = {267d991783ac4b2b0ac62bab662ece8f}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-06-17T07:12:53.000+0200}, title = {Localized Attractor Computations for Infinite-State Games (Full Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2405.html#abs-2405-09281}, volume = {abs/2405.09281}, year = 2024 }