System modelling for run-time verification and validation of autonomous systems.

Glenn Callow Graham Watson Roy Kalawsky

Published in: SoSE (2010)

Keyphrases

autonomous systems
uncertain environments
dynamic environments
autonomous navigation
unmanned aerial vehicles
dynamic and uncertain environments
computer vision