Eline M. Bovy

According to our database, Eline M. Bovy authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability.

Eline M. Bovy, Caleb Probine, Marnix Suilen, Ufuk Topcu, Nils Jansen

CoRR, October, 2025

Code for the AB-HSVI algorithm and the experiments in the paper: "Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability" (NeurIPS 2025).

Eline M. Bovy, Caleb Probine, Marnix Suilen, Ufuk Topcu, Nils Jansen

Dataset, October, 2025

2024

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.

Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.

Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024