Data-driven certificate synthesis
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 46303 (Why is no real title available?)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A General Scenario Theory for Nonconvex Optimization and Decision Making
- A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations
- A sampling-and-discarding approach to chance-constrained optimization: feasibility and Optimality
- Automated and sound synthesis of Lyapunov functions with SMT solvers
- Data-driven verification and synthesis of stochastic systems via barrier certificates
- Estimation of the Lipschitz constant of a function
- FOSSIL
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates
- Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models
- Hybrid Systems: Computation and Control
- Model predictive control: Theory and practice - a survey
- Multilayer feedforward networks are universal approximators
- On the Connection Between Compression Learning and Scenario Based Single-Stage and Cascading Optimization Problems
- On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints
- Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs
- Probability Inequalities for Sums of Bounded Random Variables
- Risk and complexity in scenario optimization
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
- The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs
- Wait-and-judge scenario optimization
This page was built for publication: Data-driven certificate synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851069)
