Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames: Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. IEEE Trans. Autom. Control. 70(4): 2180-2195 (2025)