Profile directory About Mobile apps
Log in Sign up
arXiv Math @arxiv_math@qoto.org
Follow

veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. (arXiv:2212.03287v1 [cs.LO]) http://arxiv.org/abs/2212.03287

veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System

In this short paper, we present our ongoing work on the veriFIRE project -- a collaboration between industry and academia, aimed at using verification for increasing the reliability of a real-world, safety-critical system. The system we target is an airborne platform for wildfire detection, which incorporates two deep neural networks. We describe the system and its properties of interest, and discuss our attempts to verify the system's consistency, i.e., its ability to continue and correctly classify a given input, even if the wildfire it describes increases in intensity. We regard this work as a step towards the incorporation of academic-oriented verification tools into real-world systems of interest.

arxiv.org
December 8, 2022 at 3:10 AM · · feed2toot · 0 · 0 · 0
Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.

Trending now

#monsterdon0 people talking
0
#HashtagGames0 people talking
0
#moviecharactersgraduationadvice0 people talking
0

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

qoto.org

  • About
  • v3.5.19-qoto

More…

  • Source code
  • Mobile apps
v3.5.19-qoto · Privacy policy