Arfvidsson, Kaj Munhoz

1. Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
   2024/04/12 by Frank J. Jiang, Jiang, Frank J., Kaj Munhoz Arfvidsson +6 · 4 citations
   Computer Science · #Formal Methods in Verification #Real-Time Systems Scheduling