Time-Varying Reach-Avoid Control Certificates for Stochastic Systems

arXiv:2603.25816v1 Announce Type: new Abstract: Reach-avoid analysis is fundamental to reasoning about the safety and goal-reaching behavior of dynamical systems, and serves as ...

Early report Major update Updated Mar 30, 2026, 4:00 AM UTC

Track this event Edit in app More event pages

What changed

arXiv: Time-Varying Reach-Avoid Control Certificates for Stochastic Systems.

First seen Mar 30, 2026, 4:00 AM UTC Latest source Mar 30, 2026, 4:00 AM UTC

Update 1 1h ago

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems

arXiv •published Mar 30, 2026, 4:00 AM UTC •fetched Mar 30, 2026, 4:01 AM UTC