Theory of Computation (Fall 2013): Finite State Machines in Mobile Robots: Sensors & Actuators, Schemas & Behaviors, Reactive Paradigm, Subsumption
