Verifying autonomous systems.

Michael Fisher Louise A. Dennis Matthew P. Webster

Published in: Commun. ACM (2013)

Keyphrases

autonomous systems
dynamic environments
uncertain environments
autonomous navigation
dynamic and uncertain environments
situation awareness
data mining
mobile robot
learning strategies
unmanned aerial vehicles