On the Computational Complexity of Spatio-Temporal Logics.
David GabelaiaRoman KontchakovAgi KuruczFrank WolterMichael ZakharyaschevPublished in: FLAIRS Conference (2003)
Keyphrases
- temporal logic
- computational complexity
- model checking
- mazurkiewicz traces
- spatio temporal
- satisfiability problem
- modal logic
- concurrent systems
- high computational complexity
- np complete
- temporal analysis
- decision problems
- predicate logic
- space time
- verification method
- special case
- linear temporal logic
- belief revision
- temporal resolution
- np hard
- transition systems
- temporal knowledge
- petri net
- motion vectors