Efficient Algebraic Method for Testing the Invertibility of Finite State Machines.

Zineb Lotfi Hamid Khalifi Faissal Ouardi

Published in: Comput. (2023)

Keyphrases

significant improvement
dynamic programming
detection method
finite state machines
experimental evaluation
database
objective function
preprocessing
high accuracy
test data
highly efficient
similarity measure
pairwise
support vector machine svm