OFFSET
1,1
LINKS
F. Hivert, J. D. Mitchell, F. L. Smith, and W. A. Wilson, Minimal generating sets for matrix monoids, arXiv:2012.10323 [math.RA], 2020, p. 7.
Tomáš Masopust and Petr Osička, On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems, arXiv:2402.17000 [cs.FL], 2024. See p. 4.
Tomáš Masopust and Petr Osička, On Algorithms verifying Initial-and-Final-State Opacity: Complexity, Special Cases, and Comparison, Palacky Univ. Olomouc (Czechia, 2024). See p. 3.
Yaroslav Shitov, Almost all boolean matrices are prime, ResearchGate (2024).
CROSSREFS
KEYWORD
nonn,more,hard
AUTHOR
James Mitchell, Jul 29 2021
STATUS
approved