@inproceedings{Kiefer_2017,
doi = {10.1109/lics.2017.8005100},
url = {https://doi.org/10.1109%2Flics.2017.8005100},
year = {2017},
month = {jun},
publisher = {{IEEE}},
author = {Stefan Kiefer and Richard Mayr and Mahsa Shirmohammadi and Dominik Wojtczakz},
title = {Parity objectives in countable {MDPs}},
booktitle = {2017 32nd Annual {ACM}/{IEEE} Symposium on Logic in Computer Science ({LICS})}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A