_id,doi,title
5415,10.15479/AT:IST-2014-170-v1-1,Nested weighted automata
5418,10.15479/AT:IST-2014-176-v1-1,Games with a weak adversary
5419,10.15479/AT:IST-2014-187-v1-1,Improved algorithms for reachability and shortest path on low tree-width graphs
5420,10.15479/AT:IST-2014-191-v1-1,The value 1 problem for concurrent mean-payoff games
5421,10.15479/AT:IST-2014-190-v2-2,The complexity of evolution on graphs
5423,10.15479/AT:IST-2014-300-v1-1,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
5424,10.15479/AT:IST-2014-305-v1-1,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
5426,10.15479/AT:IST-2014-305-v2-1,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
5427,10.15479/AT:IST-2014-314-v1-1,Optimal tree-decomposition balancing and reachability on low treewidth graphs
5428,10.15479/AT:IST-2014-315-v1-1,Quantitative fair simulation games
1375,10.1016/j.tcs.2014.06.031,Approximating the minimum cycle mean
9739,10.1371/journal.pcbi.1003818.s001,"Detailed proofs for “The time scale of evolutionary innovation”"
2444,10.1007/978-3-642-39799-8_36,Faster algorithms for Markov decision processes with low treewidth
2446,10.1007/978-3-642-39799-8_37,Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
2814,10.1142/S0129054113400066,The complexity of coverage
2816,10.7554/eLife.00747,Evolutionary dynamics of cancer in response to targeted combination therapy
2817,10.1016/j.jtbi.2013.05.029,Density games
2819,10.1145/2461328.2461370,Quantitative timed simulation functions and refinement metrics for real-time systems
2820,10.1145/2461328.2461356,Automated analysis of real-time scheduling using graph games
2824,10.1016/j.ic.2013.04.003,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"