Login / Signup

Equivalence checking and intersection of deterministic timed finite state machines.

Davide BresolinKhaled El-FakihTiziano VillaNina Yevtushenko
Published in: Formal Methods Syst. Des. (2021)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • hidden markov models
  • regular expressions
  • petri net
  • black box
  • database
  • data mining
  • knowledge base