activity
20202026
most citedBalancing Wind and Batteries: Towards Predictive Verification of Smart Grids

3 citations · 7 across the 12 of their papers we have counts for

collaborators
Showing cs.AIShow all

11 papers · 1 filter

cs.AI2026

Can You Trust Your Preference Models? Stackelberg Games for Alignment

Riccardo Formenti, Aditya Agrawal, Vikas Garg

Language models are frequently aligned to human preferences via imperfect evaluators whose errors can be exploited during optimization. We train policies to search for comparisons…

cs.AI2026

Adaptive Policy Portfolios for Robust Markov Decision Processes

Kasper Engelen, Sebastian Junges, Guillermo A. Pérez +1

Robust Markov decision processes optimize one policy against a set of plausible transition functions. This can be conservative when the unknown dynamics are fixed and become partia…

cs.AI2025

Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability

Eline M. Bovy, Caleb Probine, Marnix Suilen +2

Multi-environment POMDPs (ME-POMDPs) extend standard POMDPs with discrete model uncertainty. ME-POMDPs represent a finite set of POMDPs that share the same state, action, and obser…

cs.AI2025

Data-Efficient Safe Policy Improvement Using Parametric Structure

Kasper Engelen, Guillermo A. Pérez, Marnix Suilen

Safe policy improvement (SPI) is an offline reinforcement learning problem in which a new policy that reliably outperforms the behavior policy with high confidence needs to be comp…

cs.AI2024

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

Marnix Suilen, Thom Badings, Eline M. Bovy +2

Markov decision processes (MDPs) are a standard model for sequential decision-making problems and are widely used across many scientific areas, including formal methods and artific…

cs.AI2024★ 1 cited

Pessimistic Iterative Planning with RNNs for Robust POMDPs

Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão +4

Robust POMDPs extend classical POMDPs to incorporate model uncertainty using so-called uncertainty sets on the transition and observation functions, effectively defining ranges of…

cs.AI2024

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs

Eline M. Bovy, Marnix Suilen, Sebastian Junges +1

Partially observable Markov decision processes (POMDPs) rely on the key assumption that probability distributions are precisely known. Robust POMDPs (RPOMDPs) alleviate this concer…

cs.AI2023

Decision-Making Under Uncertainty: Beyond Probabilities

Thom Badings, Thiago D. Simão, Marnix Suilen +1

This position paper reflects on the state-of-the-art in decision-making under uncertainty. A classical assumption is that probabilities can sufficiently capture all uncertainty in…

cs.AI2023★ 1 cited

Safe Policy Improvement for POMDPs via Finite-State Controllers

Thiago D. Simão, Marnix Suilen, Nils Jansen

We study safe policy improvement (SPI) for partially observable Markov decision processes (POMDPs). SPI is an offline reinforcement learning (RL) problem that assumes access to (1)…

cs.AI2022★ 2 cited

Robust Anytime Learning of Markov Decision Processes

Marnix Suilen, Thiago D. Simão, David Parker +1

Markov decision processes (MDPs) are formal models commonly used in sequential decision-making. MDPs capture the stochasticity that may arise, for instance, from imprecise actuator…

cs.AI2020

Robust Finite-State Controllers for Uncertain POMDPs

Murat Cubuktepe, Nils Jansen, Sebastian Junges +3

Uncertain partially observable Markov decision processes (uPOMDPs) allow the probabilistic transition and observation functions of standard POMDPs to belong to a so-called uncertai…