Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable.

Jan Martens, Jan Friso Groote

Browse the full CONCUR paper archive.