DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2011-0001,5387,KrCh,Energy and mean-payoff parity Markov decision processes
10.15479/AT:IST-2011-0009,5379,KrCh,An O(n2) time algorithm for alternating Büchi games
10.15479/AT:IST-2011-0008,5380,KrCh,Bounded rationality in concurrent parity games
10.15479/AT:IST-2011-0007,5381,KrCh,Partial-observation stochastic games: How to win when belief fails
10.15479/AT:IST-2011-0006,5382,KrCh,Robustness of structurally equivalent concurrent parity games
10.15479/AT:IST-2011-0005,5383,ToHe,On an efficient decision procedure for imperative tree data structures
10.15479/AT:IST-2011-0004,5384,KrCh,Decidable problems for probabilistic automata on infinite words
10.15479/AT:IST-2011-0003,5385,"ToHe,KrCh",Temporal specifications with accumulative values
10.15479/AT:IST-2011-0002,5386,ChLa,Enforcing topological constraints in random field image segmentation
10.15479/AT:IST-2010-0004,5388,"KrCh,ToHe",Quantitative synthesis for concurrent programs
10.15479/AT:IST-2010-0003,5389,ToHe,Simulation distances
10.15479/AT:IST-2010-0002,5390,KrCh,"Topological, automata-theoretic and logical characterization of finitary languages"
10.15479/AT:IST-2010-0001,5391,ToHe,Model checking of linearizability of concurrent list implementations
10.15479/AT:IST-2009-0004,5392,KrCh,Probabilistic automata on infinite words: Decidability and undecidability results
10.15479/AT:IST-2009-0003,5393,"KrCh,ToHe",Gist: A solver for probabilistic games
10.15479/AT:IST-2009-0002,5394,"KrCh,ToHe",Improved lower bounds for request-response and finitary Streett games
10.15479/AT:IST-2009-0001,5395,"KrCh,ToHe",Qualitative analysis of partially-observable Markov decision processes