Gianola, A., Montali, M., & Winkler, S. (2024). Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), 10525-10534. https://doi.org/10.1609/aaai.v38i9.28922