Problem Set 4 on temporal logic (LTL and CTL) is posted here. It will be due on Friday, October 19.