LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors.
Martin SulzmannPeter ThiemannPublished in: ICTAC (2018)
Keyphrases
- deterministic automata
- temporal logic
- modal logic
- semantic analysis
- semantic representation
- semantic knowledge
- linear systems
- model checking
- factors that affect
- finite automata
- high level
- factors that influence
- natural language
- factors influencing
- semantic relationships
- factors affecting
- linear model
- regular expressions
- cellular automata
- similarity measure
- semantic description
- decision procedures
- linear temporal logic
- integrity constraints
- domain knowledge
- knowledge representation
- finite state
- context dependent
- semantic annotation
- closed form