Dejanira Araiza-Illan, Michael Fisher 0001, Kevin Leahy 0001, Joanna Isabelle Olszewska, Signe A. Redfield. Verification of Autonomous Systems [TC Spotlight]. IEEE Robot. Automat. Mag., 29(1):99-101, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.