Knowledge is a Terrible Thing to Waste: Using Formal Reasoning about Knowledge and Inference in Discrete-Event Control Problems
May 19, 2006, Eng. II Pavilion
Karen Rudie
Abstract
seminar flyer (pdf)
Speaker's Bio