]> 2026-07-02T22:34:47+00:00 Assurance for Learning Enabled Systems 0 en DARPA 2021-06-30Z 2459395.5 FA8750-19-C-0089 DARPA ALES 2019-09-01Z 2458727.5 2025-12-07T06:24:44Z 2461016.7671759 Assurance for Learning Enabled Systems 0 1 template 3 [[Category:Group member]] [[Previous projects::Assurance for Learning Enabled Systems]] Assurance for Learning Enabled Systems# QUERY109b44b0f36ccd978deea25a55c2bf9a 0 1 template 3 [[Category:Papers]] [[Funding::Assurance for Learning Enabled Systems]] Assurance for Learning Enabled Systems# QUERY4a4af91fed16791267b157ef72090dfe Counter-example Guided Learning of Bounds on Environment Behavior 0 en Counter-example Guided Learning of Bounds on Environment Behavior Reactive motion planning with probabilistic safety guarantees 0 en Reactive motion planning with probabilistic safety guarantees Sumanth Dathathri 0 en Sumanth Dathathri Chuchu Fan 0 en Chuchu Fan DARPA ALES 0 en DARPA ALES Funding 102 en Funding Previous projects 102 en Previous projects REDI 102 en REDI