Concepts of Automata Construction from LTL.

Published in: LPAR (2005)

Keyphrases

deterministic automata
finite automata
model checking
temporal logic
information retrieval
concept learning
real time
search algorithm
key concepts
neural network
information systems
cellular automata
finite state machines
finite state