The quantitative linear-time-branching-time spectrum.

Uli Fahrenberg Axel Legay

Published in: Theor. Comput. Sci. (2014)

Keyphrases

temporal logic
model checking
temporal reasoning
worst case
qualitative and quantitative
database
knowledge base
data sets
databases
image processing
optimal solution
multi agent systems
np hard
epistemic logic