- Write in LTL all goals given in the two slides in http://gradagents.googlepages.com/jicheng-Intro-to-LTL.pdf titled "Some goals and their LTL representation." (Due date: 30th October) We discssed in the class some of the erroneous assumptions in the LTL representations given in those slides. Fix them.
- Answer all questions in the page http://www.public.asu.edu/~cbaral/cse591-f04/classnotes/set3-1.pdf (Due date: 6th November)