Skip to content
conftrace_

reach-avoid specification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

stochastic control (2) formal verification (2) reinforcement learning (2) reach-avoid supermartingale (1) compositional policy (1) neural certificate (1) neural network (1) neural network policy (1) control policy (1) reach-avoid problem (1)

Papers

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees NeurIPS 2023 Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees AAAI 2023