The QSR slides from today may be found here.
The James Allen 1983 paper introducing the interval calculus may be found here.
Reading on CTL is posted here.
A 30-minute video lecture on temporal logic is now posted on LATTE under Topic 3. There will be a follow-up posted over the weekend. Please watch all videos at your own leisure but be sure to complete the full series before Tuesday’s class so you can stay up-to-date.