conftrace_

scenario convex program

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

barrier certificate (1) safety verification (1) stochastic system (1) formal verification (1)

Papers

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach L4DC 2022