DOI,IST REx ID,Research Group,Title of publication
10.1109/CVPR.2011.5995503,3336,"HeEd,ChLa",Enforcing topological constraints in random field image segmentation
10.1109/IROS.2011.6094892,3337,ChLa,Learning anticipation policies for robot table tennis
10.48550/arXiv.1107.2146,3338,KrCh,Bounded rationality in concurrent parity games
10.48550/arXiv.1107.2132,3339,KrCh,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
10.1007/978-3-642-22110-1_21,3342,KrCh,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
10.1137/1.9781611973082.101,3343,KrCh,Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
10.1007/978-3-642-24288-5_1,3344,KrCh,Graph games with reachability objectives
10.1007/978-3-642-22993-0_21,3345,KrCh,Energy and mean-payoff parity Markov Decision Processes
10.1109/LICS.2011.10,3346,KrCh,Two views on multiple mean payoff objectives in Markov Decision Processes
10.1007/978-3-642-21254-3_16,3347,KrCh,Finitary languages
10.1145/1967701.1967734,3348,KrCh,Synthesis of memory efficient real time controllers for safety objectives
10.4204/EPTCS.54.6,3349,KrCh,A reduction from parity games to simple stochastic games
10.1021/cm2006633,335,,Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect
10.1007/978-3-642-24310-3_11,3350,KrCh,Minimum attention controller synthesis for omega regular objectives
10.1007/978-3-642-22953-4_13,3351,KrCh,On memoryless quantitative objectives
10.1145/2001269.2001289,3352,ToHe,Biology as reactivity
10.1109/QEST.2011.40,3355,ToHe,Quantitative evaluation of BFT protocols
10.1007/978-3-642-21254-3_17,3357,"KrCh,ToHe",The complexity of request-response games
10.1145/1966445.1966476,3358,ToHe,Scheduling large jobs by abstraction refinement
10.1145/2038642.2038666,3359,ToHe,From boolean to quantitative synthesis