_id,doi,title
11362,10.15479/at:ista:11362,Learning verifiable representations
10002,10.1109/LICS52264.2021.9470739,Symbolic time and space tradeoffs for probabilistic verification
10108,10.1007/978-3-030-88494-9_12,Differential monitoring
10199,10.15479/at:ista:10199,Improved verification techniques for concurrent systems
9946,10.15479/AT:ISTA:9946,Differential monitoring
5549,10.15479/AT:ISTA:28,Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes