Submitted by Yiannis Kantaros on Mon, 05/13/2024 - 11:11 CPS: SMALL: Formal Methods for Safe, Efficient, and Transferable Learning-enabled Autonomy 2231257 Contributors: Yiannis Kantaros Sponsors: National Science Foundation Core Areas: