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: 2020
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 Fri Jan 22 06:38:30 2021 PST.