DOI,IST REx ID,Research Group,Title of publication
10.1145/2728606.2728608,1689,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.1145/2728606.2728617,1691,KrCh,Temporal logic motion planning using POMDPs with parity objectives: Case study paper
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.1109/RTSS.2014.9,1714,KrCh,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
10.1007/s00236-015-0215-4,1846,"ToHe,KrCh",Refinement checking on parametric modal transition systems
10.1111/evo.12618,1851,"NiBa,KrCh",Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating
10.1145/2699430,1856,"KrCh,ToHe",Measuring and synthesizing systems in probabilistic environments
10.1016/j.artint.2014.12.009,1873,KrCh,POMDPs under probabilistic semantics
10.1007/978-3-319-15317-9_19,1882,"ToHe,KrCh",Compositionality for quantitative specifications
10.1016/j.ic.2015.03.010,523,KrCh,Looking at mean-payoff and total-payoff through windows
10.1016/j.ic.2015.03.009,524,KrCh,Qualitative analysis of concurrent mean payoff games
10.15479/AT:IST-2015-319-v1-1,5430,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-322-v1-1,5431,KrCh,The patience of concurrent stochastic games with safety and reachability objectives
10.15479/AT:IST-2015-323-v1-1,5432,KrCh,The complexity of evolutionary games on graphs
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