Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis

Documenti analoghi

• Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
  di: Arfvidsson, Kaj Munhoz, et al.
  Pubblicazione: (2024)
• pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
  di: Arfvidsson, Kaj Munhoz, et al.
  Pubblicazione: (2025)
• Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
  di: Jiang, Frank J., et al.
  Pubblicazione: (2024)
• Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis
  di: Fragkedaki, Kleio, et al.
  Pubblicazione: (2024)
• Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication
  di: Wong, Annika, et al.
  Pubblicazione: (2025)