Software Verification and Formal Methods for ML-Enabled Autonomous Systems

-

10.1007/978-3-031-21222-2

https://hdl.handle.net/11368/3036671

https://link.springer.com/book/10.1007/978-3-031-21222-2

open access

license:copyright editore

license:digital rights management non definito

license uri:iris.pri02

license uri:iris.pri00

https://arts.units.it/request-item?handle=11368/3036671