_id,doi,title
653,10.1038/ng.3764,Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
13160,10.1007/978-3-662-54577-5_26,Index appearance record for transforming Rabin automata into parity automata
1407,10.1016/j.nahs.2016.04.006,Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
949,10.1007/978-3-319-68167-2_4,JTDec: A tool for tree decompositions in soot
950,10.4230/LIPIcs.CONCUR.2017.21,Infinite-duration bidding games
1009,,Optimizing expectation with guarantees in POMDPs
1011,10.1007/978-3-662-54434-1_11,Faster algorithms for weighted recursive state machines
10416,10.1145/3158118,Optimal Dyck reachability for data-dependence and Alias analysis
10417,10.1145/3158119,Data-centric dynamic partial order reduction
10418,10.1145/3158121,A new proof rule for almost-sure termination
1065,10.1016/j.ipl.2017.02.003,Pushdown reachability with constant treewidth
1194,10.1145/3009837.3009873,Stochastic invariants for probabilistic termination
1294,10.1016/j.jcss.2016.09.009,Trading performance for stability in Markov decision processes
1068,10.4230/LIPIcs.MFCS.2016.25,Conditionally optimal algorithms for generalized Büchi Games
1069,10.4230/LIPIcs.ICALP.2016.100,On the skolem problem for continuous linear dynamical systems
1070,10.4230/LIPIcs.ICALP.2016.98,Computation tree logic for synchronization properties
1071,10.4230/LIPIcs.ESA.2016.28,Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
1090,10.4230/LIPIcs.MFCS.2016.24,Nested weighted limit-average automata of bounded width
1093,10.4230/LIPIcs.CONCUR.2016.20,Linear distances between Markov chains
1138,10.1145/2933575.2933588,Quantitative automata under probabilistic semantics