Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.

Joachim Klein Christel Baier

Published in: CIAA (2005)

Keyphrases

linear temporal logic
deterministic automata
linear time temporal logic
finite state automaton
temporal logic
model checking
finite automata
turing machine
bounded model checking
finite state
domain specific
classical planning
web services
heuristic search
general purpose
state space
reinforcement learning