Login / Signup

Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.

Sara NavidPourMohammad IzadiAli Movaghar
Published in: COMPSAC (2008)
Keyphrases
  • linear temporal logic
  • temporal logic
  • deterministic automata
  • model checking
  • bounded model checking
  • cellular automata
  • regular expressions
  • finite state
  • finite automata
  • machine learning
  • simulated annealing