Sign in

Compositional nonblocking verification for extended finite-state automata using partial unfolding.

Sahar MohajeraniRobi MalikMartin Fabian
Published in: CASE (2013)
Keyphrases
  • finite state automata
  • finite state machines
  • hybrid automata
  • model checking
  • knowledge base
  • database
  • machine learning
  • machine learning algorithms
  • petri net