Gianola et al. "Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I9.28922
Markdown
[Gianola et al. "Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/gianola2024aaai-linear/) doi:10.1609/AAAI.V38I9.28922
BibTeX
@inproceedings{gianola2024aaai-linear,
title = {{Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata}},
author = {Gianola, Alessandro and Montali, Marco and Winkler, Sarah},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2024},
pages = {10525-10534},
doi = {10.1609/AAAI.V38I9.28922},
url = {https://mlanthology.org/aaai/2024/gianola2024aaai-linear/}
}