DOI,IST REx ID,Research Group,Title of publication
10.1142/S0129054112400308,3314,KrCh,Discounting and averaging in games across time scales
10.1007/978-3-642-28729-9_18,3341,KrCh,Robustness of structurally equivalent concurrent parity games
10.1016/j.jcss.2011.05.002,3846,"KrCh,ToHe","A survey of stochastic ω regular games"
10.1109/LICS.2012.28,2955,KrCh,Partial-observation stochastic games: How to win when belief fails
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.1038/nature11219,3157,KrCh,The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
10.1016/j.tpb.2011.11.003,3260,KrCh,Evolutionary dynamics of biological auctions
10.1145/2380356.2380370,2936,"KrCh,ToHe",Finite automata with time delay blocks
10.15479/AT:IST-2011-0009,5379,KrCh,An O(n2) time algorithm for alternating Büchi games
10.15479/AT:IST-2011-0008,5380,KrCh,Bounded rationality in concurrent parity games
10.15479/AT:IST-2011-0006,5382,KrCh,Robustness of structurally equivalent concurrent parity games
10.15479/AT:IST-2011-0004,5384,KrCh,Decidable problems for probabilistic automata on infinite words
10.15479/AT:IST-2011-0001,5387,KrCh,Energy and mean-payoff parity Markov decision processes
10.1109/SIES.2011.5953660,3316,"KrCh,ToHe",Specification-centered robustness
10.48550/arXiv.1107.2146,3338,KrCh,Bounded rationality in concurrent parity games
10.48550/arXiv.1107.2132,3339,KrCh,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
10.1007/978-3-642-22110-1_21,3342,KrCh,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
10.1137/1.9781611973082.101,3343,KrCh,Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
10.1007/978-3-642-24288-5_1,3344,KrCh,Graph games with reachability objectives