_id,doi,title
5380,10.15479/AT:IST-2011-0008,Bounded rationality in concurrent parity games
5381,10.15479/AT:IST-2011-0007,Partial-observation stochastic games: How to win when belief fails
5382,10.15479/AT:IST-2011-0006,Robustness of structurally equivalent concurrent parity games
5383,10.15479/AT:IST-2011-0005,On an efficient decision procedure for imperative tree data structures
5384,10.15479/AT:IST-2011-0004,Decidable problems for probabilistic automata on infinite words
5385,10.15479/AT:IST-2011-0003,Temporal specifications with accumulative values
5386,10.15479/AT:IST-2011-0002,Enforcing topological constraints in random field image segmentation
5387,10.15479/AT:IST-2011-0001,Energy and mean-payoff parity Markov decision processes
6496,10.1016/j.bpj.2011.09.040,Noise underlies switching behavior of the bacterial flagellum
9648,10.1007/978-3-642-23672-3_35,Incremental-decremental algorithm for computing AT-models and persistent homology
9762,10.5061/dryad.299h8,Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)
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
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