The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum

Luca Aceto, Antonis Achilleos, Aggeliki Chalki +1

Characteristic formulae give a complete logical description of the behaviour of processes modulo some chosen notion of behavioural semantics. They allow one to reduce equivalence o…