DOI,IST REx ID,Research Group,Title of publication
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.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.1007/978-3-642-21254-3_17,3357,"KrCh,ToHe",The complexity of request-response games
10.1109/CSF.2011.21,3361,"ToHe,KrCh",The complexity of quantitative information flow problems
10.48550/arXiv.1104.0127,3363,"KrCh,ToHe",The decidability frontier for probabilistic automata on infinite words
10.1007/978-3-642-19835-9_24,3365,"KrCh,ToHe",QUASY: quantitative synthesis tool
10.1007/978-3-642-22110-1_20,3366,"ToHe,KrCh",Quantitative synthesis for concurrent programs
10.2168/LMCS-7(4:8)2011,3315,"KrCh,ToHe",Timed parity games: Complexity and robustness
10.1109/LICS.2011.33,3356,"ToHe,KrCh",Temporal specifications with accumulative values
10.15479/AT:IST-2011-0003,5385,"ToHe,KrCh",Temporal specifications with accumulative values
10.15479/AT:IST-2011-0007,5381,KrCh,Partial-observation stochastic games: How to win when belief fails
10.1145/1970398.1970404,3354,"KrCh,ToHe",Qualitative concurrent parity games
10.1007/978-3-642-14295-6_57,4388,"KrCh,ToHe",GIST: A solver for probabilistic games
10.4204/EPTCS.25.7,489,KrCh,How do we remember the past in randomised strategies?
10.15479/AT:IST-2010-0004,5388,"KrCh,ToHe",Quantitative synthesis for concurrent programs