_id,doi,title
3345,10.1007/978-3-642-22993-0_21,Energy and mean-payoff parity Markov Decision Processes
3346,10.1109/LICS.2011.10,Two views on multiple mean payoff objectives in Markov Decision Processes
3347,10.1007/978-3-642-21254-3_16,Finitary languages
3348,10.1145/1967701.1967734,Synthesis of memory efficient real time controllers for safety objectives
3349,10.4204/EPTCS.54.6,A reduction from parity games to simple stochastic games
335,10.1021/cm2006633,Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect
3350,10.1007/978-3-642-24310-3_11,Minimum attention controller synthesis for omega regular objectives
3351,10.1007/978-3-642-22953-4_13,On memoryless quantitative objectives
3352,10.1145/2001269.2001289,Biology as reactivity
3353,10.1145/1985342.1985345,A theory of synchronous relational interfaces
3354,10.1145/1970398.1970404,Qualitative concurrent parity games
3355,10.1109/QEST.2011.40,Quantitative evaluation of BFT protocols
3356,10.1109/LICS.2011.33,Temporal specifications with accumulative values
3357,10.1007/978-3-642-21254-3_17,The complexity of request-response games
3358,10.1145/1966445.1966476,Scheduling large jobs by abstraction refinement
3359,10.1145/2038642.2038666,From boolean to quantitative synthesis
336,10.1021/jp2002904,Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods
3360,10.4230/LIPIcs.CSL.2011.82,Determinizing discounted-sum automata
3361,10.1109/CSF.2011.21,The complexity of quantitative information flow problems
3362,10.1007/978-3-642-23217-6_27,Dynamic reactive modules