DOI,IST REx ID,Research Group,Title of publication
10.15479/AT-ISTA-21401,21401,"GradSch,ToHe",Privacy-preserving runtime verification
10.15479/at:ista:11362,11362,"GradSch,ToHe",Learning verifiable representations
10.1109/LICS52264.2021.9470739,10002,KrCh,Symbolic time and space tradeoffs for probabilistic verification
10.1007/978-3-030-88494-9_12,10108,ToHe,Differential monitoring
10.15479/AT:ISTA:9946,9946,ToHe,Differential monitoring
10.15479/at:ista:10199,10199,"GradSch,KrCh",Improved verification techniques for concurrent systems
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes