219 citations · 219 across the 5 of their papers we have counts for
5 papers
Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
Zhipeng Cao, Peixin Wang, Luke Ong +3
In this paper, we compare several representative barrier-like conditions from the literature for infinite-horizon reach-avoid verification of stochastic discrete-time systems. Our…
SB-TRPO: Towards Safe Reinforcement Learning with Hard Constraints
Dominik Wagner, Ankit Kanwar, Luke Ong
In safety-critical domains, reinforcement learning (RL) systems must satisfy strict, zero-cost safety constraints while achieving meaningful task performance. Existing model-free m…
PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
Taoran Wu, Dominik Wagner, Jingduo Pan +3
This paper investigates the problem of safety certification for black-box discrete-time stochastic systems, where both the system dynamics and disturbance distributions are unknown…
Near-Optimal Reinforcement Learning for Constrained Recurrence Objectives
Dominik Wagner, Leon Witzman, Luke Ong
Recurrence objectives, where a target region must be visited infinitely often, are a fundamental class of specifications for Markov decision processes (MDPs) and form the core of $…
Modelling a new, low CO2 emissions, hydrogen steelmaking process
Andrea Ranzani Da Costa, D. Wagner, Fabrice Patisson
In an effort to develop breakthrough technologies that enable drastic reduction in CO2 emissions from steel industry (ULCOS project), the reduction of iron ore by pure hydrogen in…