DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-63387-9_10,645,KrCh,Value iteration for long run average reward in markov decision processes
10.15479/AT:ISTA:TH_730,1155,ToHe,Statistical and logical methods for property checking
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.1007/978-3-662-49122-5_16,1230,ToHe,Abstraction-driven concolic testing
10.1007/978-3-662-49674-9_7,1234,"ToHe,CaGu",Faster statistical model checking for unbounded temporal properties
10.1007/978-3-319-41540-6_13,1391,ToHe,Array folds logic
10.4230/LIPIcs.CONCUR.2016.20,1093,"ToHe,KrCh,CaGu",Linear distances between Markov chains
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.1007/978-3-319-08867-9_31,2063,"KrCh,ToHe",CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-148-v2-1,5411,ToHe,Compositional specifications for IOCO testing
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
10.15479/AT:IST-2014-153-v3-1,5414,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.1109/ICST.2014.50,2167,ToHe,Compositional specifications for IOCO testing