3 papers accepted at AAAI 2023! 1. Safe RL via Shielding under Partial Observability, 2. Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty, 3. Safe Policy Improvement for POMDPs via Finite-State Controllers. More details on these results will come soon.

Congrats to Thiago, Thom, and Marnix!