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

Research output: Working paper › Preprint › Academic

Access to Document

@techreport{b4b5be78313240fd8faa1e5d46fe13ca,

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

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

year = "2023",

doi = "10.48550/arXiv.2307.05265",

language = "English",

volume = "abs/2307.05265",

series = "arXiv",

publisher = "arXiv.org",

type = "WorkingPaper",

institution = "arXiv.org",

}

TY - UNPB

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

AU - Martens, Jan

AU - Groote, Jan Friso

PY - 2023

Y1 - 2023

U2 - 10.48550/arXiv.2307.05265

DO - 10.48550/arXiv.2307.05265

M3 - Preprint

VL - abs/2307.05265

T3 - arXiv

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

PB - arXiv.org

ER -