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
Number of items: 1.

Report or Paper

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 Sep 18 06:56:56 2020 PDT.