Felli, Paolo, Marco Montali, and Sarah Winkler. 2022. “Linear-Time Verification of Data-Aware Dynamic Systems With Arithmetic”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (5):5642-50. https://doi.org/10.1609/aaai.v36i5.20505.