The Quantitative Linear-Time--Branching-Time Spectrum.

Uli Fahrenberg Axel Legay Claus R. Thrane

Published in: FSTTCS (2011)

Keyphrases

model checking
qualitative and quantitative
temporal reasoning
temporal logic
worst case
quantitative and qualitative
database
neural network
machine learning
information retrieval
multiscale