Login / Signup

DLIQ: A Deterministic Finite Automaton Learning Algorithm through Inverse Queries.

Farah HaneefMuddassar A. Sindhu
Published in: Inf. Technol. Control. (2022)
Keyphrases
  • learning algorithm
  • deterministic finite automaton
  • query processing
  • query language
  • model checking
  • ordered binary decision diagrams
  • user queries
  • query evaluation
  • query terms
  • general purpose