DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-43951-7_10,2163,KrCh,Games with a weak adversary
10.1007/s00236-013-0191-5,2187,"KrCh,ToHe",Synthesizing robust systems
10.1007/978-3-319-08867-9_13,2190,"ToHe,KrCh",From LTL to deterministic automata: A safraless compositional approach
10.1145/2579821,2211,KrCh,Partial-observation stochastic games: How to win when belief fails
10.1007/978-3-642-54830-7_14,2212,KrCh,Perfect-information stochastic mean-payoff parity games
10.1007/978-3-642-54830-7_16,2213,KrCh,The complexity of partial-observation stochastic parity games with finite-memory strategies
10.1145/2562059.2562141,2216,KrCh,Edit distance for timed automata
10.2168/LMCS-10(1:13)2014,2234,KrCh,Markov decision processes with multiple long-run average objectives
10.1016/j.tcs.2013.11.032,2246,KrCh,Alternating traps in Muller and parity games
10.1007/s00236-013-0182-6,2716,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.4204/EPTCS.146.11,475,KrCh,First cycle games
10.1007/s00453-013-9843-7,535,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-642-39799-8_6,2000,KrCh,TTP: Tool for tumor progression
10.4230/LIPIcs.CSL.2013.181,1374,KrCh,Infinite-state games with finitary conditions
10.1109/FMCAD.2013.6679386,1376,"KrCh,ToHe",Distributed synthesis for LTL fragments
10.15479/AT:IST-2013-104-v1-1,5399,KrCh,TTP: Tool for Tumor Progression
10.15479/AT:IST-2013-109-v1-1,5400,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
10.15479/AT:IST-2013-126-v1-1,5403,KrCh,Qualitative analysis of concurrent mean-payoff games
10.15479/AT:IST-2013-127-v1-1,5404,KrCh,The complexity of ergodic games
10.15479/AT:IST-2013-128-v1-1,5405,KrCh,Perfect-information stochastic mean-payoff parity games