Verification of Detectability for Unambiguous Weighted Automata.

Aiwen Lai Sébastien Lahaye Alessandro Giua

Published in: IEEE Trans. Autom. Control. (2021)

Keyphrases

model checking
cellular automata
machine learning
finite automata
weighted sum
formal methods
timed automata
databases
false acceptance rate
finite state automata
asynchronous circuits
person identification
formal verification
signature verification
order statistics
finite state
hidden markov models