Login / Signup

Formal modelling of autonomous systems.

W. M. Lee
Published in: ACM SIGOPS European Workshop (1988)
Keyphrases
  • autonomous systems
  • uncertain environments
  • dynamic environments
  • autonomous navigation
  • dynamic and uncertain environments
  • unmanned aerial vehicles
  • mobile robot
  • point cloud