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

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

10 August 2020

  • curprev 17:5617:56, 10 August 2020‎ Murray talk contribs‎ 1,344 bytes +1,344‎ Created page with "{{Paper |Title=Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions |Authors=Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray,..."
Retrieved from "https://murray.cds.caltech.edu/Formal_Test_Synthesis_for_Safety-Critical_Autonomous_Systems_based_on_Control_Barrier_Functions"