DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-31424-7_8,3135,KrCh,Efficient controller synthesis for consumption games with multiple resource types
10.1038/nature11219,3157,KrCh,The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
10.1137/1.9781611973099.109,3165,KrCh,An O(n2) time algorithm for alternating Büchi games
10.1007/978-3-642-27940-9_11,3252,KrCh,Synthesizing protocols for digital contract signing
10.1016/j.ic.2011.11.004,3254,KrCh,The complexity of stochastic Müller games
10.1007/978-3-642-25929-6_3,3255,KrCh,Games and Markov decision processes with mean payoff parity and energy parity objectives
10.1016/j.tpb.2011.11.003,3260,KrCh,Evolutionary dynamics of biological auctions
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.4204/EPTCS.96.18,495,KrCh,A Myhill Nerode theorem for automata with advice
10.1109/LICS.2012.65,496,KrCh,Interpretations in trees with countably many branches
10.4230/LIPIcs.CSL.2012.167,497,KrCh,Faster algorithms for alternating refinement relations
10.15479/AT:IST-2012-0002,5377,KrCh,Mean-payoff pushdown games
10.15479/AT:IST-2012-0001,5378,KrCh,Faster algorithms for alternating refinement relations
10.15479/AT:IST-2011-0001,5387,KrCh,Energy and mean-payoff parity Markov decision processes
10.2168/LMCS-7(4:8)2011,3315,"KrCh,ToHe",Timed parity games: Complexity and robustness
10.1109/SIES.2011.5953660,3316,"KrCh,ToHe",Specification-centered robustness
null,3338,KrCh,Bounded rationality in concurrent parity games
null,3339,KrCh,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives