Verifying Autonomous Systems.

Louise A. Dennis

Published in: IFM (2022)

Keyphrases

autonomous systems
uncertain environments
autonomous navigation
dynamic environments
dynamic and uncertain environments
situation awareness
unmanned aerial vehicles
mobile robot
data mining
knowledge discovery
least squares