Announcement_6
I’m presenting our short contribution “A Probabilistic Finite Temporal Logic for Policies and Intentions” (with Natasha Alechina, Mehdi Dastani and Dragan Doder) this week at LAMAS & SR 2022 (co-located with Advances in Modal Logic) in Rennes, France.