Looking at Mean-Payoff and Total-Payoff through Windows

TitleLooking at Mean-Payoff and Total-Payoff through Windows
Publication TypeConference Paper
Year of Publication2013
AuthorsChatterjee, K, Doyen L, Randour M, Raskin J-F
Conference NameAutomated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
URLhttp://dx.doi.org/10.1007/978-3-319-02444-8_10
DOI10.1007/978-3-319-02444-8_10