Login / Signup

Reaching Out Towards Fully Verified Autonomous Systems.

Sriram SankaranarayananSouradeep DuttaSergio Mover
Published in: RP (2019)
Keyphrases
  • autonomous systems
  • uncertain environments
  • dynamic environments
  • autonomous navigation
  • dynamic and uncertain environments
  • unmanned aerial vehicles
  • real time
  • path planning
  • situation awareness