Login / Signup

Developing logic-based specification for real-time autonomous systems.

Patrick O. Bobbie
Published in: ISADS (1995)
Keyphrases
  • autonomous systems
  • real time
  • dynamic environments
  • uncertain environments
  • autonomous navigation
  • dynamic and uncertain environments
  • vision system
  • situation awareness
  • multi agent
  • particle filter