LTL Semantic Tableaux and Alternating ω-automata via Linear Factors.
Martin SulzmannPeter ThiemannPublished in: CoRR (2017)
Keyphrases
- deterministic automata
- finite automata
- semantic analysis
- model checking
- natural language
- semantic description
- semantic knowledge
- linear systems
- temporal logic
- modal logic
- semantic information
- high level
- semantic annotation
- factors that influence
- semantic relationships
- factors affecting
- regular expressions
- cellular automata
- semantic network
- semantic web
- semantic similarity
- decision procedures
- sufficient conditions
- state space
- linear temporal logic
- probabilistic automata
- domain independent