Textbook
Trivedi is a good resource to learn the subject. Check the syllabus for a full list of references.
Lectures & Tests
Lecture material and timelines for the current semester are on the calendar page.
Projects
Three projects requiring about 2–3 weeks of work each. The projects are intended to build research skills focusing on probabilistic reasoning, simulation study, and technical presentation. Check the assignment page for details.
Tools
My Web Links Circa 2005, most long gone (disabled)
Some links may require Java.