Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization

Documenti analoghi

• Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
  di: Wu, Taoran, et al.
  Pubblicazione: (2025)
• Efficient Verification and Falsification of ReLU Neural Barrier Certificates
  di: Ren, Dejin, et al.
  Pubblicazione: (2025)
• Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
  di: Xue, Bai
  Pubblicazione: (2024)
• PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
  di: Wu, Taoran, et al.
  Pubblicazione: (2025)
• Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
  di: Xue, Bai
  Pubblicazione: (2024)