Neider, Daniel Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Anevlavis, T., Philippe, M., Neider, D., & Tabuada, P. (2022). Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Transactions on Computational Logic, 23(2): 8, pp. 1-39. doi:10.1145/3491216.
