Alert button

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications

Jan 23, 2023
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames

Figure 1 for Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
Figure 2 for Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
Figure 3 for Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
Figure 4 for Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: