A Comparison of Presburger Engines for EFSM Reachability.

Thomas R. Shiple James H. Kukula Rajeev K. Ranjan

Published in: CAV (1998)

Keyphrases

finite state machines
learning algorithm
databases
neural network
preprocessing