@InProceedings{SWD+26,
author={Jule Schmidt and Maximilian Weininger nd Clemens Dubslaff and David Parker and Nils Jansen},
title={Property-driven Causal Abstractions for Markov Decision Processes},
booktitle={Proc. 26th Conference on Formal Methods in Computer-Aided Design (FMCAD'26)},
year={2026},

editors={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}