Publications

Accepted publications

2025

  1. NeurIPS
    Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability
    Eline M. Bovy, Caleb Probine, Marnix Suilen, and 2 more authors
    In NeurIPS, 2025
  2. NeurIPS
    On Evaluating Policies for Robust POMDPs
    Merlijn Krale, Eline M. Bovy, Maris F. L. Galesloot, and 2 more authors
    In NeurIPS, 2025

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
  2. IJCAI
    Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs
    Eline M. Bovy, Marnix Suilen, Sebastian Junges, and 1 more author
    In IJCAI, 2024

Thesis

2023

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