https://events.illc.uva.nl/FOAM/posts/talk12/
On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications - FOAM Seminar