Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions

From Murray Wiki
Jump to navigationJump to search
Purge this page
Purging a page clears the cache and forces the most current revision to appear.
Retrieved from "https://murray.cds.caltech.edu/Formal_Test_Synthesis_for_Safety-Critical_Autonomous_Systems_based_on_Control_Barrier_Functions"