Jule Schmidt

works on

causal abstraction 1 formal verification 1 Markov decision processes 1 reinforcement learning 1 state space reduction 1

From the 1 of 1 linked paper with an AI index.

collaborators

Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Property-driven Causal Abstractions for Markov Decision Processes

Jule Schmidt, Maximilian Weininger, Clemens Dubslaff +2

The paper proposes a property-driven causal abstraction method for factored Markov Decision Processes that groups states sharing the same causal reasons for satisfying or violating…