conftrace_

reach-avoid control

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safety certification (1) bellman backup (1) optimal control (1) formal verification (1) reinforcement learning (1)

Papers

Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning RSS 2021