Inference of Extended Finite State Machines.

Michael Foster Achim D. Brucker Ramsay G. Taylor John Derrick

Published in: Arch. Formal Proofs (2020)

Keyphrases

finite state machines
finite state automata
model checking
order sorted logic
inference process
bayesian networks
probabilistic inference
regular expressions
bayesian inference
database
neural network
relational databases
low level
database management systems
pattern matching
semi automatic