Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications

Documenti analoghi

• Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
  di: Chen, Yu, et al.
  Pubblicazione: (2025)
• On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
  di: Li, Yuda, et al.
  Pubblicazione: (2026)
• Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
  di: Serry, Mohamed, et al.
  Pubblicazione: (2024)
• Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
  di: Akella, Prithvi, et al.
  Pubblicazione: (2023)
• Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
  di: Wang, Siqi, et al.
  Pubblicazione: (2023)