A Multiresolution Analysis of Temporal Logic. - Houssam Abbas; Richard Pelphrey (HSCC, 2022)