Login / Signup

Validity Checking for Finite Automata over Linear Arithmetic Constraints.

Gary WassermannZhendong Su
Published in: FSTTCS (2006)
Keyphrases
  • finite automata
  • linear arithmetic constraints
  • regular expressions
  • grammatical inference
  • linear programming
  • finite automaton
  • pattern matching
  • hidden markov models
  • sat encodings