Graded Monads for the Linear Time - Branching Time Spectrum.

Ulrich Dorsch Stefan Milius Lutz Schröder

Published in: CoRR (2018)

Keyphrases

temporal logic
temporal reasoning
image sequences
worst case
model checking
databases
cognitive radio networks
neural network
data mining
computer vision
wide range
lower bound
multiresolution
power spectrum