Edwin Hamel-De le Court

policy optimization (1) formal verification (1) markov decision process (1) variance reduction (1) off-policy reinforcement learning (1) safe reinforcement learning (1) safety constraint (1) formal guarantee (1) state augmentation (1) probabilistic shielding (1) return estimate (1) behaviour policy (1)