DOI,IST REx ID,Research Group,Title of publication
10.1098/rspb.2015.1041,1709,KrCh,Biological auctions with multiple rewards
10.1109/RTSS.2014.9,1714,KrCh,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
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
null,1820,KrCh,Optimal cost almost-sure reachability in POMDPs
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/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.ipl.2014.09.001,2034,KrCh,Probabilistic opacity for Markov decision processes
null,1400,KrCh,The subclonal evolution of cancer
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-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-318-v2-1,5435,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-170-v2-2,5436,"KrCh,ToHe",Nested weighted automata