Skip to content
conftrace_

reward martingale

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

state perturbation (1) control system (1) neural network (1) robustness verification (1) formal verification (1) deep reinforcement learning (1)

Papers

Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales AAAI 2024