Profile
Amy Stell
Publications
Copyright Notice: Any articles made available for download are for personal use only. Any other use requires prior permission of the author and the copyright holder.
Copyright Notice: Any articles made available for download are for personal use only. Any other use requires prior permission of the author and the copyright holder.
2023
- Brucker AD, Stell A. (2023) Verifying Feedforward Neural Networks for Classification in Isabelle/HOL, Formal Methods (FM 2023), Springer. [PDF]
Showing 1 publications from Symplectic.