TY  - RPRT
TI  - Deciding characteristic formulae: A journey in the branching-time spectrum
AU  - Luca Aceto
AU  - Antonis Achilleos
AU  - Aggeliki Chalki
AU  - Anna Ingolfsdottir
PY  - 2026
UR  - https://arxiv.org/abs/2505.22277
ID  - 2505.22277
ER  -