DOI,IST REx ID,Research Group,Title of publication
10.29007/5z5k,10883,KrCh,Quasipolynomial set-based symbolic algorithms for parity games
10.24963/ijcai.2018/652,24,"KrCh,ToHe",Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
10.24963/ijcai.2018/662,25,KrCh,Goal-HSVI: Heuristic search value iteration for goal-POMDPs
10.1038/s41562-018-0354-z,293,KrCh,The signal-burying game can explain why we obscure positive traits and good deeds
10.1007/978-3-319-89960-2_21,297,"KrCh,ToHe",Strategy representation by decision trees in reactive synthesis
10.1137/1.9781611975031.151,310,KrCh,"Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter"
10.1007/978-3-319-89884-1_26,311,KrCh,Quantitative analysis of smart contracts
10.1145/3158122,325,KrCh,Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
null,34,KrCh,Sensor synthesis for POMDPs with reachability objectives
null,35,KrCh,Algorithms and conditional lower bounds for planning problems
10.1038/s41562-018-0320-9,419,KrCh,Partners and rivals in direct reciprocity
10.1038/s41467-017-02721-8,454,KrCh,Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness
10.1016/j.jcss.2016.09.009,1294,KrCh,Trading performance for stability in Markov decision processes
10.1007/978-3-662-54577-5_26,13160,KrCh,Index appearance record for transforming Rabin automata into parity automata
10.15479/AT:ISTA:th_854,821,KrCh,Algorithmic advances in program analysis and their applications
10.1073/pnas.1702020114,699,KrCh,The red queen and king in finite populations
10.4230/LIPIcs.CONCUR.2017.5,711,"KrCh,ToHe",Bidirectional nested weighted automata
10.1145/3121408,716,KrCh,The complexity of mean-payoff pushdown games
10.1016/j.jcss.2017.04.005,717,KrCh,Hyperplane separation technique for multidimensional mean-payoff games
10.1007/s00236-017-0299-0,719,KrCh,Special issue: Synthesis and SYNT 2014