related documents

• Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates  Conference Proceeding
• Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach  Conference Proceeding
• Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning  Conference Proceeding