Verification and Learning for Assured Autonomy. - Raúl Pardo; Devdatt Dubhashi; Gerardo Schneider; Hazem Torfah (AISoLA, 2024)