3 papers
eess.SY2026
Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
Bai Xue, Luke Ong, Dominik Wagner +1
Providing finite-time probabilistic safety and reach-avoid guarantees is crucial for safety-critical stochastic systems. Existing state-of-the-art barrier methods often rely on a r…
eess.SY2026
PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
Taoran Wu, Dominik Wagner, C. -H. Luke Ong +1
We investigate the problem of establishing finite-time probabilistic safety guarantees for discrete-time stochastic dynamical systems subject to unknown disturbance distributions,…
cs.LG2024
Reinforcement Learning with LTL and -Regular Objectives via Optimality-Preserving Translation to Average Rewards
Xuan-Bach Le, Dominik Wagner, Leon Witzman +2
Linear temporal logic (LTL) and, more generally, -regular objectives are alternatives to the traditional discount sum and average reward objectives in reinforcement learning (R…