DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.ICALP.2016.98,1070,KrCh,Computation tree logic for synchronization properties
10.4230/LIPIcs.ESA.2016.28,1071,KrCh,Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
10.1371/journal.pone.0163867.s008,9867,KrCh,Experimental game instructions
10.1371/journal.pone.0163867.s009,9868,KrCh,Experimental data
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.2933588,1138,"KrCh,ToHe",Quantitative automata under probabilistic semantics
10.1145/2933575.2935304,1140,KrCh,Model and objective separation with conditional lower bounds: disjunction is harder than conjunction
null,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.3233/978-1-61499-672-9-1432,478,KrCh,The complexity of deciding legality of a single step of magic: The gathering
10.1145/2933575.2934513,480,KrCh,Perfect-information stochastic games with generalized mean-payoff objectives
null,1481,KrCh,Automatic generation of alternative starting positions for simple traditional board games
10.4230/LIPIcs.CONCUR.2015.142,1499,"ToHe,KrCh",Polynomial time decidability of weighted synchronization under partial observability
10.1007/s10703-015-0235-2,1501,"KrCh,ToHe",CEGAR for compositional analysis of qualitative properties in Markov decision processes
10.1145/2737166.2737175,1502,"ToHe,KrCh",Complete composition operators for IOCO-testing theory
10.1073/pnas.1511366112,1559,KrCh,Computational complexity of ecological and evolutionary spatial dynamics
10.1007/978-3-662-48899-7_12,1594,"ToHe,KrCh",Controller synthesis for MDPs and frequency LTL\GU
10.1016/j.tcs.2015.01.050,1598,KrCh,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives