- Record: found
- Abstract: not found
- Article: not found
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Related collections
Most cited references32
- Record: found
- Abstract: not found
- Article: not found
Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
Jos Sturm (1999)
- Record: found
- Abstract: not found
- Article: not found
System analysis via integral quadratic constraints
A. Megretski, A. Rantzer (1997)