M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.

K. Chatterjee, W. Dvorak, M. H. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.

F. Mühlböck and T. A. Henzinger, “Differential monitoring,” in International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 231–243.

F. Mühlböck and T. A. Henzinger, Differential monitoring. IST Austria, 2021.

V. Toman, “Improved verification techniques for concurrent systems,” Institute of Science and Technology Austria, 2021.

A. Fellner, “Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.” Institute of Science and Technology Austria, 2015.