TY  - RPRT
TI  - Branching Bisimulation Learning
AU  - Alessandro Abate
AU  - Mirco Giacobbe
AU  - Christian Micheletti
AU  - Yannik Schnitzer
PY  - 2025
UR  - https://arxiv.org/abs/2504.12246
ID  - 2504.12246
ER  -