Publications

Accepted publications

2024

  1. Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
    Marnix Suilen, Thom Badings, Eline M. Bovy, and 2 more authors
    In Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, 2024
    PDF
  2. Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs
    Eline M. Bovy, Marnix Suilen, Sebastian Junges, and 1 more author
    In IJCAI, 2024
    PDF

Thesis

2023

  1. The Underlying Belief Model of Uncertain Partially Observable Markov Decision Processes
    Eline Bovy
    Radboud University, 2023
    PDF