Login / Signup
$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs.
Khaled El-Fakih
Robert M. Hierons
Uraz Cengiz Türker
Published in:
IEEE Trans. Software Eng. (2021)
Keyphrases
</>
hidden markov models
finite state machines
search tree
branch and bound
relaxation algorithm
sequence analysis
test sequences
biological sequences
sequence data
black box
neural network
evolutionary algorithm
search space
similarity measure
website
knowledge base
learning algorithm