The Complexity of CTL* + Linear Past.

Published in: FoSSaCS (2008)

Keyphrases

linear complexity
temporal logic
worst case
neural network
real world
artificial intelligence
search engine
model checking
decision problems
database
real time
information systems
computational cost
space complexity