Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.
Paul GastinMadhavan MukundK. Narayan KumarPublished in: MFCS (2003)
Keyphrases
- temporal logic
- mazurkiewicz traces
- model checking
- linear temporal logic
- modal logic
- satisfiability problem
- bounded model checking
- linear time temporal logic
- real world
- data mining
- machine learning
- computer vision
- temporally extended goals
- image sequences
- sufficient conditions
- neural network
- formal verification
- databases