DOI,IST REx ID,Research Group,Title of publication
10.1145/2461328.2461356,2820,KrCh,Automated analysis of real-time scheduling using graph games
10.1016/j.ic.2013.04.003,2824,KrCh,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"
10.1007/s10703-012-0180-2,2831,KrCh,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
10.1007/s00165-013-0283-6,2836,KrCh,Assume-guarantee synthesis for digital contract signing
10.1016/j.jcss.2012.12.001,2854,"KrCh,ToHe",Strategy improvement for concurrent reachability and turn based stochastic safety games
10.1111/eva.12020,2858,KrCh,The effect of one additional driver mutation on tumor progression
10.1007/978-3-642-36046-6_12,2886,KrCh,Controllable-choice message sequence graphs
10.1007/s10703-012-0170-4,3116,KrCh,Code aware resource management
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.4230/LIPIcs.FSTTCS.2012.461,2715,KrCh,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
10.1016/j.jtbi.2012.02.021,2848,"KrCh,ToHe",Evolutionary game dynamics in populations with different learners
10.4204/EPTCS.96.3,2916,"ToHe,KrCh",Interface Simulation Distances
10.1145/2380356.2380370,2936,"KrCh,ToHe",Finite automata with time delay blocks
10.1007/978-3-642-33386-6_30,2947,KrCh,Equivalence of games with probabilistic uncertainty and partial observation games
10.1109/LICS.2012.28,2955,KrCh,Partial-observation stochastic games: How to win when belief fails
10.1109/LICS.2012.30,2956,KrCh,Mean payoff pushdown games
10.1109/LICS.2012.29,2957,KrCh,Decidable problems for probabilistic automata on infinite words
10.1016/j.tcs.2012.07.038,2972,KrCh,Energy parity games
10.1007/s10703-012-0164-2,3128,"KrCh,ToHe",A survey of partial-observation stochastic parity games