_id,doi,title
1594,10.1007/978-3-662-48899-7_12,Controller synthesis for MDPs and frequency LTL\GU
1598,10.1016/j.tcs.2015.01.050,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
1601,10.1007/978-3-319-21690-4_31,The Hanoi omega-automata format
1602,10.1145/2676726.2676979,Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
1603,10.1007/978-3-319-21690-4_10,Counterexample explanation by learning small strategies in Markov decision processes
1604,10.1145/2676726.2676968,Quantitative interprocedural analysis
1607,10.1007/978-3-319-21690-4_9,Faster algorithms for quantitative verification in constant treewidth graphs
1609,10.1007/978-3-662-47666-6_9,The complexity of synthesis from probabilistic components
1610,10.1007/978-3-662-47666-6_10,Edit distance for pushdown automata
1400,,The subclonal evolution of cancer
2716,10.1007/s00236-013-0182-6,Strategy synthesis for multi-dimensional quantitative objectives
10884,10.1007/978-3-642-54013-4_15,Parameterized model checking of token-passing systems
10885,10.1007/978-3-642-54013-4_5,Doomsday equilibria for omega-regular games
1733,10.1016/j.tcs.2014.08.019,Interface simulation distances
1853,10.1109/IOT.2014.7030120,Game theoretic secure localization in wireless sensor networks
1884,,Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
1903,10.1007/978-3-662-44522-8_1,Partial-observation stochastic reachability and parity games
2027,10.1007/978-3-319-11936-6_8,Verification of markov decision processes using learning algorithms
2038,10.1145/2629686,Temporal specifications with accumulative values
2039,10.1371/journal.pcbi.1003818,The time scale of evolutionary innovation