notesum.ai

Published at November 21

Grand Challenges in the Verification of Autonomous Systems

cs.RO

Released Date: November 21, 2024

Authors: Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibanez-Guzman, Brian Logan, Joanna I. Olszewska, Signe Redfield

Arxiv: http://arxiv.org/abs/2411.14155v1