Timed tree automata with an application to temporal logic.
Salvatore La TorreMargherita NapoliPublished in: Acta Informatica (2001)
Keyphrases
- temporal logic
- tree automata
- model checking
- finite state
- regular expressions
- verification method
- petri net
- finite automata
- modal logic
- satisfiability problem
- tree languages
- finite automaton
- context free grammars
- computation tree logic
- temporal knowledge
- mazurkiewicz traces
- linear temporal logic
- reactive systems
- bounded model checking
- markov chain
- databases
- database
- data warehouse
- temporally extended goals
- automata theoretic
- formal specification language