A Caltech Library Service

Items where Person is "Akella-P"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: A
Number of items: 1.


Akella, Prithvi and Ahmadi, Mohamadreza and Murray, Richard M. et al. (2020) Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. . (Unpublished)

This list was generated on Mon Sep 28 12:19:50 2020 PDT.