TY  - RPRT
TI  - Smart abstraction based on iterative cover and non-uniform cells
AU  - Julien Calbert
AU  - Lucas N. Egidio
AU  - Raphaël M. Jungers
PY  - 2024
UR  - https://arxiv.org/abs/2403.02190
ID  - 2403.02190
ER  -