Login / Signup

Estimating the feasibility of transition paths in extended finite state machines.

Karnig DerderianRobert M. HieronsMark HarmanQiang Guo
Published in: Autom. Softw. Eng. (2010)
Keyphrases
  • finite state machines
  • state transition
  • model checking
  • finite state automata
  • hidden markov models
  • knowledge base
  • shortest path
  • test data