4 papers
Counterfactual Routing Using Integer Programming with Constraint Generation
Daniël Vos, Sterre Lutz
We present our submission to the IJCAI 2025 'Counterfactual Routing Competition' (CRC 25). The goal of the competition is to find counterfactual explanations for the shortest path…
Optimizing Minimax Regret in Uncertain MDPs with Small Sets of Policies
Sterre Lutz, Daniël Vos, Matthijs T. J. Spaan +1
Sequential decision-making in real-world applications often involves uncertainty about the environment's model. Uncertain Markov decision processes (UMDPs) represent the possible e…
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
Sterre Lutz, Matthijs T. J. Spaan, Anna Lukina
Autonomous systems operating in the real world encounter a range of uncertainties. Probabilistic neural Lyapunov certification is a powerful approach to proving safety of nonlinear…
Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint
Sterre Lutz
Flint is a frame-based and action-centered language developed by Van Doesburg et al. to capture and compare different interpretations of sources of norms (e.g. laws or regulations)…