DOI,IST REx ID,Research Group,Title of publication
10.46298/theoretics.25.10,21413,KrCh,Learning algorithms for verification of Markov decision processes
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
10.1609/aaai.v30i1.10422,1166,"KrCh,ToHe",A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs
10.1609/icaps.v26i1.13737,1324,KrCh,Indefinite-horizon reachability in Goal-DEC-POMDPs
null,1327,KrCh,Stochastic shortest path with energy constraints 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"
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
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.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.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.15479/AT:IST-2014-153-v1-1,5412,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v2-2,5413,KrCh,CEGAR for qualitative analysis of probabilistic systems