Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems.

Doron Drusinsky Matthew Litton James Bret Michael

Published in: Computer (2023)

Keyphrases

autonomous systems
dynamic environments
uncertain environments
autonomous navigation
active learning
expert systems
unmanned aerial vehicles
dynamic and uncertain environments
mobile robot
input image
test cases