Login / Signup
On the Complexity of Branching-Time Logics
Volker Weber
Published in:
CoRR (2009)
Keyphrases
</>
epistemic logic
worst case
expressive power
database
machine learning
decision making
computational complexity
decision problems
temporal logic
space complexity
data sets
artificial intelligence
computer vision
model checking
modal logic
pspace complete