Unsafe probabilities and risk contours for stochastic processes using convex optimization
From MaRDI portal
Cites work
- A barrier function approach to finite-time stochastic system verification and control
- Closures of quadratic modules
- Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
- Control barrier functions for stochastic systems
- Convergence of Lasserre's hierarchy: the general case
- Convex computation of value-at-risk bounds for stochastic processes
- Counterexample guided inductive synthesis modulo theories
- FOSSIL
- Generalized Curves and Extremal Points
- scientific article; zbMATH DE number 527343 (Why is no real title available?)
- scientific article; zbMATH DE number 1478492 (Why is no real title available?)
- scientific article; zbMATH DE number 753805 (Why is no real title available?)
- Linear Programming Formulation for Optimal Stopping Problems
- Multidimensional diffusion processes.
- On the complexity of Putinar's Positivstellensatz
- Probability with Martingales
- Reach-avoid analysis for polynomial stochastic differential equations
- Relaxation of optimal control problems to equivalent convex programs
- Ruin probabilities
- Stochastic stability and control
- The linear programming approach to reach-avoid problems for Markov decision processes
- The stochastic reach-avoid problem and set characterization for diffusions
- There are significantly more nonnegative polynomials than sums of squares
- Über die Darstellung definiter Formen als Summe von Formenquadraten.
This page was built for publication: Unsafe probabilities and risk contours for stochastic processes using convex optimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7249482)
