@inproceedings{Aminof_2023,
    title = {Stochastic Best-Effort Strategies for Borel Goals},
    url = {http://dx.doi.org/10.1109/LICS56636.2023.10175747},
    doi = {10.1109/lics56636.2023.10175747},
    booktitle = {2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
    publisher = {IEEE},
    author = {Aminof, Benjamin and De Giacomo, Giuseppe and Rubin, Sasha and Zuleger, Florian},
    year = {2023},
    month = {jun},
    date-added = {2023-11-23 22:29:9 +0100}
}

@inproceedings{Aminof_2023, title = {Stochastic Best-Effort Strategies for Borel Goals}, url = {http://dx.doi.org/10.1109/LICS56636.2023.10175747}, doi = {10.1109/lics56636.2023.10175747}, booktitle = {2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher = {IEEE}, author = {Aminof, Benjamin and De Giacomo, Giuseppe and Rubin, Sasha and Zuleger, Florian}, year = {2023}, month = {jun}, date-added = {2023-11-23 22:29:9 +0100} }