What’s on CS111: The final covers programming basics, data structures, algorithms, recursion, and problem-solving, often through multiple-choice and coding questions. How to prepare: Review lectures ...

Abstract: We consider the problem of designing output feedback controllers that use measurements from a set of landmarks to navigate through a cell-decomposable environment using duality, control ...

Abstract: Linear temporal logic (LTL) is an intuitive and expressive language to specify complex control tasks, and how to design an efficient control strategy for LTL specification is still a ...