TY  - RPRT
TI  - Cost Automata, Safe Schemes, and Downward Closures
AU  - David Barozzini
AU  - Lorenzo Clemente
AU  - Thomas Colcombet
AU  - Paweł Parys
PY  - 2023
DO  - 10.3233/fi-222145
UR  - https://arxiv.org/abs/2004.12187
ID  - 2004.12187
ER  -