Talks

Presentations given by members of the group.

2023

Feb 12 Safe Policy Improvement for POMDPs via Finite-State Controllers
AAAI 2023
Feb 10 Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
AAAI 2023

2022