DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-63390-9_3,639,KrCh,Non-polynomial worst case analysis of recursive programs
10.4230/LIPIcs.MFCS.2016.24,1090,"KrCh,ToHe",Nested weighted limit-average automata of bounded width
10.4230/LIPIcs.CONCUR.2016.20,1093,"ToHe,KrCh,CaGu",Linear distances between Markov chains
10.1145/2933575.2935304,1140,KrCh,Model and objective separation with conditional lower bounds: disjunction is harder than conjunction
10.1609/aaai.v30i1.10422,1166,"KrCh,ToHe",A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs
null,1182,KrCh,Robust draws in balanced knockout tournaments
10.1016/j.plrev.2016.10.004,1200,KrCh,"Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze"
10.1145/2818052.2869122,1245,KrCh,Game-theoretic models identify useful principles for peer collaboration in online learning platforms
10.1371/journal.pone.0163867,1322,KrCh,Asymmetric power boosts extortion in an economic experiment
10.1609/icaps.v26i1.13737,1324,KrCh,Indefinite-horizon reachability in Goal-DEC-POMDPs
10.4230/LIPIcs.CONCUR.2016.10,1325,KrCh,Stability in graphs and games
10.1007/978-3-319-46520-3_3,1326,KrCh,Optimizing the expected mean payoff in Energy Markov Decision Processes
null,1327,KrCh,Stochastic shortest path with energy constraints in POMDPs
10.1038/ncomms10915,1333,KrCh,Humans choose representatives who enforce cooperation in social dilemmas through extortion
10.1007/978-3-662-53413-7_2,1335,"KrCh,ToHe",Quantitative monitor automata
10.1007/978-3-662-53354-3_6,1340,KrCh,The big match in small space
10.1145/2857050,1380,KrCh,On the complexity of the orbit problem
10.1145/2933575.2934548,1389,KrCh,On recurrent reachability for continuous linear dynamical systems
10.1038/srep25676,1423,KrCh,Comparing reactive and memory-one strategies of direct reciprocity
10.1145/2837614.2837639,1438,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs