Leveraging Sidewalk Robots for Walkability-Related Analyses

Documenti analoghi

• Robust Route Planning for Sidewalk Delivery Robots
  di: Tong, Xing, et al.
  Pubblicazione: (2025)
• Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
  di: Arfvidsson, Kaj Munhoz, et al.
  Pubblicazione: (2024)
• Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
  di: Arfvidsson, Kaj Munhoz, et al.
  Pubblicazione: (2024)
• Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
  di: Jiang, Frank J., 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)