Login / Signup

Rabinizer 2: Small Deterministic Automata for LTL ∖ GU.

Jan KretínskýRuslán Ledesma-Garza
Published in: ATVA (2013)
Keyphrases
  • deterministic automata
  • finite automata
  • small number
  • domain specific
  • linear temporal logic
  • training set
  • regular expressions
  • grammatical inference