Skip to content
conftrace_

reach-avoid supermartingale

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

reach-avoid specification (1) compositional policy (1) neural network policy (1) stochastic control (1) formal verification (1) compositional learning (1) reinforcement learning (1)

Papers

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees NeurIPS 2023