Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata. - Liren Shen; Shaowen Miao; Aiwen Lai; Jan Komenda; Sébastien Lahaye (ASCC, 2024)