Login / Signup

Formal Verification of a Safety Argumentation and Application to a Complex UAV System.

Julien BrunelJacques Cazin
Published in: SAFECOMP Workshops (2012)
Keyphrases
  • formal verification
  • model checking
  • real world
  • artificial intelligence
  • orders of magnitude
  • decision problems