TY  - RPRT
TI  - Data-driven Abstractions for Verification of Deterministic Systems
AU  - Rudi Coppola
AU  - Andrea Peruffo
AU  - Manuel Mazo Jr
PY  - 2023
UR  - https://arxiv.org/abs/2211.01793
ID  - 2211.01793
ER  -