_id,doi,title
3866,10.1007/978-3-642-14295-6_36,Robustness in the presence of liveness
3867,10.2168/LMCS-6(3:10)2010,Expressiveness and closure properties for quantitative languages
3868,10.2168/LMCS-6(3:13)2010,Algorithms for game metrics
4388,10.1007/978-3-642-14295-6_57,GIST: A solver for probabilistic games
4569,10.1007/978-3-642-02658-4_14,Better quality in synthesis through quantitative objectives
5392,10.15479/AT:IST-2009-0004,Probabilistic automata on infinite words: Decidability and undecidability results
5393,10.15479/AT:IST-2009-0003,Gist: A solver for probabilistic games
5394,10.15479/AT:IST-2009-0002,Improved lower bounds for request-response and finitary Streett games
5395,10.15479/AT:IST-2009-0001,Qualitative analysis of partially-observable Markov decision processes
3870,10.1145/1614431.1614432,Finitary winning in omega-regular games
3871,10.1007/978-3-642-04081-8_17,Probabilistic weighted automata
4542,10.1007/978-3-642-03409-1_2,Alternating weighted automata
4543,10.1007/978-3-642-03816-7_4,Stochastic games with finitary objectives
4545,10.1007/978-3-642-02930-1_1,A survey of stochastic games with limsup and liminf objectives