Verification and Learning for Assured Autonomy.

Ral Pardo, Devdatt P. Dubhashi, Gerardo Schneider, Hazem Torfah

Browse the full VECoS paper archive.