All public logs

Combined display of all available logs of Murray Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 20:32, 27 December 2023 Murray talk contribs created page Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications (Created page with "{{Paper |Title=Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications |Authors=Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames |Source=Submitted, IEEE Transactions on Automatic Control, 2023 |Abstract=We propose an adversarial, time-varying test-synthesis procedure for safety-critical systems without requiring specific knowledge of the underlying controller steering the system. From a broader test and eva...")