TY  - RPRT
TI  - The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
AU  - Luca Aceto
AU  - Antonis Achilleos
AU  - Aggeliki Chalki
AU  - Anna Ingolfsdottir
PY  - 2024
UR  - https://arxiv.org/abs/2405.13697
ID  - 2405.13697
ER  -