A Multiresolution Analysis of Temporal Logic.

Houssam Abbas Richard Pelphrey

Published in: HSCC (2022)

Keyphrases

lifting scheme
temporal logic
multiresolution analysis
multiresolution
wavelet transform
image compression
model checking
filter bank
discrete wavelet transform
modal logic
computation tree logic
mazurkiewicz traces
belief revision
finite state
transition systems
reinforcement learning
automata theoretic
multiscale