DOI,IST REx ID,Research Group,Title of publication
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
10.1016/j.jcss.2016.02.009,1477,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
10.1534/genetics.115.183814,1518,"KrCh,NiBa",Efficient strategies for calculating blockwise likelihoods under the coalescent
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
10.15479/AT:IST-2016-523-v1-1,5445,KrCh,Quantitative interprocedural analysis
10.15479/AT:IST-2016-648-v1-1,5449,KrCh,Amplification on undirected population structures: Comets beat stars
10.15479/AT:IST-2016-728-v1-1,5451,KrCh,Strong amplifiers of natural selection
10.15479/AT:IST-2017-728-v2-1,5452,KrCh,Arbitrarily strong amplifiers of natural selection
10.15479/AT:IST-2017-749-v3-1,5453,KrCh,Arbitrarily strong amplifiers of natural selection