DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2015-330-v2-1,5437,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-323-v2-2,5440,KrCh,The complexity of evolutionary games on graphs
10.15479/AT:IST-2015-340-v1-1,5441,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.15479/AT:IST-2015-325-v2-1,5443,KrCh,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
10.15479/AT:IST-2015-399-v1-1,5444,KrCh,Reconstructing robust phylogenies of metastatic cancers
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
10.1137/1.9781611973730.69,10796,KrCh,The value 1 problem under finite-memory strategies for concurrent mean-payoff games
10.1016/j.ic.2015.06.003,1731,"KrCh,ToHe",Randomness for free
10.1109/ICRA.2015.7139019,1732,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
10.1007/978-3-662-46681-0_50,1838,KrCh,Assume-guarantee synthesis for concurrent reactive programs with partial information
10.1007/978-3-662-46681-0_12,1839,KrCh,Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
10.1007/978-3-662-47666-6_10,1610,"KrCh,ToHe",Edit distance for pushdown automata
10.1109/LICS.2015.32,1657,"KrCh,ToHe",Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-318-v2-1,5435,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-318-v1-1,5429,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-334-v1-1,5438,KrCh,Edit distance for pushdown automata
10.1109/LICS.2015.34,1661,KrCh,Improved algorithms for one-pair and k-pair Streett objectives
10.1016/j.ipl.2014.09.001,2034,KrCh,Probabilistic opacity for Markov decision processes
10.1109/LICS.2015.72,1656,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2015-170-v2-2,5436,"KrCh,ToHe",Nested weighted automata