DOI,IST REx ID,Research Group,Title of publication
null,1397,"KrCh,GradSch",Algorithms for partially observable markov decision processes
10.1098/rsos.160036,1426,KrCh,Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites
10.1145/2933575.2933588,1138,"KrCh,ToHe",Quantitative automata under probabilistic semantics
10.1016/j.artint.2016.01.007,1529,KrCh,Optimal cost almost-sure reachability in POMDPs
10.1145/2837614.2837624,1437,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.1007/978-3-319-41528-4_1,1386,KrCh,Termination analysis of probabilistic programs through Positivstellensatz's
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
10.1007/978-3-319-21690-4_31,1601,"ToHe,KrCh",The Hanoi omega-automata format
10.1145/2676726.2676979,1602,KrCh,Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
10.1007/978-3-319-21690-4_10,1603,"KrCh,ToHe",Counterexample explanation by learning small strategies in Markov decision processes
10.1145/2676726.2676968,1604,KrCh,Quantitative interprocedural analysis
10.1007/978-3-319-21690-4_9,1607,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.1007/978-3-662-47666-6_9,1609,KrCh,The complexity of synthesis from probabilistic components
10.1038/srep17147,1624,KrCh,Cellular cooperation with shift updating and repulsion