ML Anthology

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic

Paolo Felli, Marco Montali, Sarah Winkler
AAAI 2022 pp. 5642-5650
doi:10.1609/AAAI.V36I5.20505 /aaai/2022/felli2022aaai-linear/
AAAI Semantic Scholar

Cite

Text

Felli et al. "Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic." AAAI Conference on Artificial Intelligence, 2022. doi:10.1609/AAAI.V36I5.20505

Markdown

[Felli et al. "Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic." AAAI Conference on Artificial Intelligence, 2022.](https://mlanthology.org/aaai/2022/felli2022aaai-linear/) doi:10.1609/AAAI.V36I5.20505

BibTeX

@inproceedings{felli2022aaai-linear,
  title     = {{Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic}},
  author    = {Felli, Paolo and Montali, Marco and Winkler, Sarah},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2022},
  pages     = {5642-5650},
  doi       = {10.1609/AAAI.V36I5.20505},
  url       = {https://mlanthology.org/aaai/2022/felli2022aaai-linear/}
}