DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-021-00373-5,9393,KrCh,Faster algorithms for quantitative verification in bounded treewidth graphs
10.1007/s11241-017-9293-4,738,KrCh,Automated competitive analysis of real time scheduling with graph games
null,34,KrCh,Sensor synthesis for POMDPs with reachability objectives
10.1016/j.jcss.2016.09.009,1294,KrCh,Trading performance for stability in Markov decision processes
10.1016/j.jcss.2017.04.005,717,KrCh,Hyperplane separation technique for multidimensional mean-payoff games
10.1016/j.ic.2016.10.006,1066,"KrCh,ToHe",Quantitative fair simulation games
10.1145/3152769,467,"KrCh,ToHe",Nested weighted automata
10.1016/j.jcss.2016.02.009,1477,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
null,1481,KrCh,Automatic generation of alternative starting positions for simple traditional board games
10.1007/s10703-015-0235-2,1501,"KrCh,ToHe",CEGAR for compositional analysis of qualitative properties in Markov decision processes
10.1016/j.tcs.2015.01.050,1598,KrCh,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
10.1145/2676726.2676979,1602,KrCh,Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
10.1145/2676726.2676968,1604,KrCh,Quantitative interprocedural analysis
10.1007/978-3-319-21690-4_9,1607,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.1007/978-3-662-47666-6_10,1610,"KrCh,ToHe",Edit distance for pushdown automata
10.1038/srep17147,1624,KrCh,Cellular cooperation with shift updating and repulsion
10.1109/LICS.2015.72,1656,"KrCh,ToHe",Nested weighted automata
10.1109/TAC.2015.2404612,1694,KrCh,Quantitative temporal simulation and refinement distances for timed systems
10.1016/j.ic.2015.03.001,1698,"KrCh,ToHe",The complexity of multi-mean-payoff and multi-energy games
10.1098/rspb.2015.1041,1709,KrCh,Biological auctions with multiple rewards