|
|
| Room: BYAC 260 |
| Instructor: Chitta Baral. |
|
Office: Brickyard 572 Office hours: Th 3:00 PM - 4:30 PM |
Oct 23 2007: Home work assigned.
Oct 23 2007: Sample Questions: See http://www.public.asu.edu/~cbaral/cse591-f04/exams/exams.html but in the goal representation part, we only cover the LTL part.
Oct 18 2007: First Class test on Nov 1 2007.
Sept 06 2007: I changed the revised slides of Aug 30.
Aug 19 2007: Welcome!