Sign in

Verifiable Self-Certifying Autonomous Systems.

Michael FisherEmily C. CollinsLouise A. DennisMatt LuckcuckMatt WebsterMike JumpVincent PagéCharles PatchettFateme DinmohammadiDavid FlynnValentin RobuXingyu Zhao
Published in: ISSRE Workshops (2018)
Keyphrases
  • autonomous systems
  • uncertain environments
  • dynamic environments
  • autonomous navigation
  • situation awareness
  • unmanned aerial vehicles
  • dynamic and uncertain environments
  • three dimensional