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

Research output: Working paperPreprintAcademic

Original languageEnglish
PublisherarXiv.org
Volumeabs/2307.05265
DOIs
Publication statusPublished - 2023

Publication series

NamearXiv
PublisherCornell University Library
ISSN (Print)2331-8422

Cite this