Login / Signup
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