DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-02658-4_14,4569,KrCh,Better quality in synthesis through quantitative objectives
10.15479/AT:IST-2009-0004,5392,KrCh,Probabilistic automata on infinite words: Decidability and undecidability results
10.15479/AT:IST-2009-0003,5393,"KrCh,ToHe",Gist: A solver for probabilistic games
10.15479/AT:IST-2009-0002,5394,"KrCh,ToHe",Improved lower bounds for request-response and finitary Streett games
10.15479/AT:IST-2009-0001,5395,"KrCh,ToHe",Qualitative analysis of partially-observable Markov decision processes
10.1007/978-3-642-04081-8_17,3871,KrCh,Probabilistic weighted automata
10.1145/1614431.1614432,3870,KrCh,Finitary winning in omega-regular games