Login / Signup
Matthew Daggit
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Hybrid Neural Network
Verification Method
Temporal Logic
Fuzzy Artmap
Top Venues
PPDP
</>
Publications
</>
Remi Desmartin
,
Grant O. Passmore
,
Ekaterina Komendantskaya
,
Matthew Daggit
CheckINN: Wide Range Neural Network Verification in Imandra.
PPDP
(2022)