Picture for Kaj Munhoz Arfvidsson

Kaj Munhoz Arfvidsson

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis

Add code
May 18, 2024
Viaarxiv icon

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability

Add code
Apr 12, 2024
Viaarxiv icon