conftrace_

control policy synthesis

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

reach-avoid probability (1) sequential convex programming (1) safety certification (1) iterative prediction (1) bound propagation (1) linear dynamical system (1) control policy (1) bayesian neural network (1) linear quadratic control (1) temporal logic (1)

Papers

Incremental Data-Driven Policy Synthesis via Game Abstractions AAAI 2026 Certification of iterative predictions in Bayesian neural networks UAI 2021 Learning convex bounds for linear quadratic control policy synthesis NeurIPS 2018