_id,doi,title
1667,10.1007/978-3-319-22264-6_10,Optimizing performance of continuous-time stochastic systems using timeout synthesis
1673,10.1098/rspa.2015.0114,Amplifiers of selection
1681,10.3390/g6040413,Evolution of decisions in population games with sequentially searching individuals
1689,10.1145/2728606.2728608,Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
1691,10.1145/2728606.2728617,Temporal logic motion planning using POMDPs with parity objectives: Case study paper
1694,10.1109/TAC.2015.2404612,Quantitative temporal simulation and refinement distances for timed systems
1698,10.1016/j.ic.2015.03.001,The complexity of multi-mean-payoff and multi-energy games
1709,10.1098/rspb.2015.1041,Biological auctions with multiple rewards
1714,10.1109/RTSS.2014.9,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
1731,10.1016/j.ic.2015.06.003,Randomness for free
1732,10.1109/ICRA.2015.7139019,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
1820,,Optimal cost almost-sure reachability in POMDPs
1838,10.1007/978-3-662-46681-0_50,Assume-guarantee synthesis for concurrent reactive programs with partial information
1839,10.1007/978-3-662-46681-0_12,Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
1846,10.1007/s00236-015-0215-4,Refinement checking on parametric modal transition systems
1851,10.1111/evo.12618,Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating
1856,10.1145/2699430,Measuring and synthesizing systems in probabilistic environments
1873,10.1016/j.artint.2014.12.009,POMDPs under probabilistic semantics
1882,10.1007/978-3-319-15317-9_19,Compositionality for quantitative specifications
2034,10.1016/j.ipl.2014.09.001,Probabilistic opacity for Markov decision processes