Login / Signup

Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts.

Sayan Mitra
Published in: HSCC (2024)
Keyphrases
  • autonomous systems
  • data driven
  • uncertain environments
  • dynamic environments
  • autonomous navigation
  • unmanned aerial vehicles
  • dynamic and uncertain environments
  • real time
  • data mining
  • situation awareness
  • state space