Lorenzo Clemente, Jean-François Raskin
Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
LICS, 2015.
@inproceedings{LICS-2015-ClementeR, author = "Lorenzo Clemente and Jean-François Raskin", booktitle = "{Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2015.33", isbn = "978-1-4799-8875-4", pages = "257--268", publisher = "{IEEE}", title = "{Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives}", year = 2015, }