Barrier-based test synthesis for safety-critical systems subject to timed reach-avoid specifications
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 …
without requiring specific knowledge of the underlying controller steering the system. From a …