Another late night proofing that I missed. On the CTL problem, #5 is not valid, for similar reasons to the other one. Namely AFt will not be satisfied for the path taken by the looping s0 path. Sorry for the confusion.
-James
Month: December 2013
News on Final Exam!
There will be no problem concerning interval algebra composition in temporal logic on the final exam.
-James
Answers for Final Exam Sample Questions (with corrections!! :))
2013cs112FinalExamSamplesWithAnswers
I’ve provided answers for about half of the questions. These should give you an idea of what kind of answers I’m looking for.
Again, if there are any remaining questions, feel free to email me tonight or tomorrow!!
(Some very attentive student caught two errors, and they’ve been corrected now. Thanks!)
-James
Answers coming later Saturday
Hi Everyone,
I’ll have answers for the model questions later today. I won’t have time to have a sample dynamic logic model, but it will be very similar to the ones in the slides from class (wink wink).
If anyone has questions, feel free to email me this weekend!
-James
Final Exam Sample Questions Part II
Final Exam Review Information
Here is a list of the material being covered for the final. I’ll also be posting the sample satisfaction model questions later today.
Good luck studying!!
Cheers,
James