Sign in

Trustworthy Autonomous Systems Through Verifiability.

Mohammad Reza MousaviAna CavalcantiMichael FisherLouise A. DennisRobert M. HieronsBilal Y. KaddouhEffie Lai-Chong LawRobert C. RichardsonJan Oliver RingerIvan TyukinJim Woodcock
Published in: Computer (2023)
Keyphrases
  • autonomous systems
  • autonomous navigation
  • dynamic environments
  • uncertain environments
  • dynamic and uncertain environments
  • unmanned aerial vehicles
  • real time