This course will discuss different ways of formally modeling requirements of interest for autonomous systems. Examples of such requirements include stability, invariance, reachability, regular languages, omega-regular languages, and linear temporal logic properties. In addition, it will introduce non-deterministic finite and b�chi automata for recognizing, respectively, regular languages and omega-regular languages.
instructor(s)
Zamani, Majid
Primary Instructor
- Spring 2024 / Summer 2024 / Fall 2024
