TY  - RPRT
TI  - Small Decision Trees for MDPs with Deductive Synthesis
AU  - Roman Andriushchenko
AU  - Milan Češka
AU  - Sebastian Junges
AU  - Filip Macák
PY  - 2025
UR  - https://arxiv.org/abs/2501.10126
ID  - 2501.10126
ER  -