Computing minimal distinguishing Hennessy-Milner formulas is NP-hard but variants are tractable

Research output: Contribution to journal › Article › Academic

Cite this

@article{8afe05d484074b9384a53c8b5f00854a,

title = "Computing minimal distinguishing Hennessy-Milner formulas is NP-hard but variants are tractable",

author = "Jan Martens and Groote, \{Jan Friso\}",

year = "2023",

month = jul,

language = "English",

volume = "2307.05265",

journal = "arXiv",

issn = "2331-8422",

publisher = "Cornell University Library",

}