Eline M. Bovy

According to our database, Eline M. Bovy authored at least 2 papers in 2024.

Collaborative distances:

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

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 S. Badings, Eline M. Bovy, David Parker, Nils Jansen

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