DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPICS.CONCUR.2019.7,6887,KrCh,Near-linear time algorithms for Streett objectives in graphs and MDPs
10.4230/LIPICS.CONCUR.2019.6,6889,KrCh,Combinations of Qualitative Winning for Stochastic Parity Games
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction
10.1007/978-3-319-95246-8_9,86,"KrCh,ToHe",Computing average response time
10.1007/s11241-017-9293-4,738,KrCh,Automated competitive analysis of real time scheduling with graph games
10.1007/978-3-319-99154-2_4,79,"KrCh,ToHe",Parameter-independent strategies for pMDPs via POMDPs
10.1038/s41586-018-0277-x,157,KrCh,Evolution of cooperation in stochastic games
10.1098/rsif.2018.0073,198,KrCh,Language acquisition with communication between learners
10.1073/pnas.1810565115,2,KrCh,"Indirect reciprocity with private, noisy, and incomplete information"
10.1007/978-3-319-96142-2_13,141,KrCh,Symbolic algorithms for graphs and Markov decision processes with fairness objectives
10.1145/3209108.3209191,143,KrCh,Efficient algorithms for asymptotic bounds on termination time in VASS
10.1007/978-3-030-02768-1_11,5679,KrCh,New approaches for almost-sure termination of probabilistic programs
10.1038/s42003-018-0078-7,5751,KrCh,Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
10.1007/978-3-319-10575-8_27,59,KrCh,Graph games and reactive synthesis
10.1145/3219166.3219198,5967,KrCh,The Big Match with a clock and a bit of memory
10.24963/ijcai.2018/653,5977,KrCh,Computational approaches for stochastic shortest path on succinct MDPs
10.1145/3174800,5993,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
10.1145/3210257,6009,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.1109/Cybermatics_2018.2018.00231,6340,KrCh,Secure Credit Reporting on the Blockchain
10.4230/LIPIcs.CONCUR.2018.11,66,KrCh,Ergodic mean-payoff games for the analysis of attacks in crypto-currencies