Smart abstraction based on iterative cover and non-uniform cells
From MaRDI portal
Publication:6524536
arXiv2403.02190MaRDI QIDQ6524536
Unnamed Author, Raphaël M. Jungers, Julien Calbert
This page was built for publication: Smart abstraction based on iterative cover and non-uniform cells