DOI,IST REx ID,Research Group,Title of publication
null,8193,KrCh,Multiple-environment Markov decision processes: Efficient analysis and applications
10.1016/j.nahs.2016.04.006,1407,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
null,1324,KrCh,Indefinite-horizon reachability in Goal-DEC-POMDPs
null,1327,KrCh,Stochastic shortest path with energy constraints in POMDPs
10.1534/genetics.115.183814,1518,"KrCh,NiBa",Efficient strategies for calculating blockwise likelihoods under the coalescent
10.1016/j.artint.2016.01.007,1529,KrCh,Optimal cost almost-sure reachability in POMDPs
null,1397,KrCh,Algorithms for partially observable markov decision processes
10.1016/j.jcss.2016.02.009,1477,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
null,1166,"KrCh,ToHe",A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps
10.1007/s10703-015-0235-2,1501,"KrCh,ToHe",CEGAR for compositional analysis of qualitative properties in Markov decision processes
10.1007/978-3-319-21690-4_10,1603,"KrCh,ToHe",Counterexample explanation by learning small strategies in Markov decision processes
10.1145/2728606.2728608,1689,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.1145/2728606.2728617,1691,KrCh,Temporal logic motion planning using POMDPs with parity objectives: Case study paper
10.1109/ICRA.2015.7139019,1732,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
null,1820,KrCh,Optimal cost almost-sure reachability in POMDPs
10.1016/j.artint.2014.12.009,1873,KrCh,POMDPs under probabilistic semantics
10.15479/AT:IST-2015-325-v2-1,5443,KrCh,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
10.1016/j.tcs.2014.08.019,1733,"ToHe,KrCh",Interface simulation distances
10.1007/978-3-319-11936-6_8,2027,"KrCh,ToHe",Verification of markov decision processes using learning algorithms
10.1007/978-3-319-08867-9_31,2063,"KrCh,ToHe",CEGAR for qualitative analysis of probabilistic systems