The Embedding Report
.
Front
Search
Tools
Entities
Digest
About
Methodology
Entities
·
Models
veriFIRE
1 article tagged with this entity.
veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System
via
export.arxiv.org
· Global
· 16h ago