Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications

Documenti analoghi

• Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
  di: Akella, Prithvi, et al.
  Pubblicazione: (2024)
• Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
  di: Cohen, Max H., et al.
  Pubblicazione: (2024)
• Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
  di: Cohen, Max H., et al.
  Pubblicazione: (2024)
• Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
  di: Compton, William D., et al.
  Pubblicazione: (2024)
• Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
  di: Sawarkar, Shubham, et al.
  Pubblicazione: (2025)