Sign in
Amy Stell
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Interval Analysis
Top Venues
Arch. Formal Proofs
FM
</>
Publications
</>
Achim D. Brucker
,
Amy Stell
(Extended) Interval Analysis.
Arch. Formal Proofs
2024 (2024)
Achim D. Brucker
,
Amy Stell
Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.
FM
(2023)