PrimaVera researchers from Radboud University have got three papers accepted to the artificial intelligence conference AAAI! The conference will take place from February 7 – 14 in Washington DC, United States. Pre-prints of the three accepted papers can be accessed using the following links:
- Carr, Jansen, Junges & Topcu (2022). Safe Reinforcement Learning via Shielding under Partial Observability.
- Badings, Romao, Abate & Jansen (2022). Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
- D. Simão, Suilen & Jansen (2022). Safe Policy Improvement for POMDPs via Finite-State Controllers.
Congratulations to the involved PrimaVera researchers: Thiago Dias Simão, Nils Jansen, and Thom Badings!
