_id,doi,title
5439,10.15479/AT:IST-2015-335-v1-1,The target discounted-sum problem
5549,10.15479/AT:ISTA:28,Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
1498,10.4230/LIPIcs.SNAPL.2015.90,The need for language support for fault-tolerant distributed systems
1499,10.4230/LIPIcs.CONCUR.2015.142,Polynomial time decidability of weighted synchronization under partial observability
1501,10.1007/s10703-015-0235-2,CEGAR for compositional analysis of qualitative properties in Markov decision processes
1502,10.1145/2737166.2737175,Complete composition operators for IOCO-testing theory
1538,10.1073/pnas.1423947112,Iterative experiment design guides the characterization of a light-inducible gene expression circuit
1539,10.1063/1.4937937,Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space
1541,10.1007/978-3-319-26287-1_1,XSpeed: Accelerating reachability analysis on multi-core processors
1594,10.1007/978-3-662-48899-7_12,Controller synthesis for MDPs and frequency LTL\GU
1601,10.1007/978-3-319-21690-4_31,The Hanoi omega-automata format
1603,10.1007/978-3-319-21690-4_10,Counterexample explanation by learning small strategies in Markov decision processes
1605,10.1007/978-3-319-26287-1_2,Abstraction-based parameter synthesis for multiaffine systems
1606,10.1007/978-3-319-23820-3_19,Runtime verification for hybrid analysis tools
1610,10.1007/978-3-662-47666-6_10,Edit distance for pushdown automata
1702,10.4204/EPTCS.169.5,Generalised interpolation by solving recursion free-horn clauses
1733,10.1016/j.tcs.2014.08.019,Interface simulation distances
1869,10.1007/978-3-319-13338-6_6,Suraq - a controller synthesis tool using uninterpreted functions
1870,10.4230/LIPIcs.FSTTCS.2014.431,Lipschitz robustness of finite-state transducers
1872,10.1007/978-3-319-11936-6_14,Extensional crisis and proving identity