DOI,IST REx ID,Research Group,Title of publication
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.1145/2597631,2141,KrCh,Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
10.1007/978-3-662-43951-7_11,2162,KrCh,The complexity of ergodic mean payoff games
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.1016/j.tcs.2014.06.031,1375,KrCh,Approximating the minimum cycle mean
10.1109/IOT.2014.7030120,1853,KrCh,Game theoretic secure localization in wireless sensor networks
null,1884,KrCh,Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
10.1007/978-3-662-44522-8_1,1903,KrCh,Partial-observation stochastic reachability and parity games
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.15479/AT:IST-2014-153-v1-1,5412,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v2-2,5413,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v3-1,5414,KrCh,CEGAR for qualitative analysis of probabilistic systems