Formal Methods in Robotics

3 Credits

The course is an introduction to formal methods with emphasis on robotics application. The aim is to develop computational frameworks that take rich temporal and logic specifications and automatically construct or certify robot behaviors (controllers). It covers formal specification languages, automatic controller synthesis, and formal verification. Methods are based on abstractions, automata, mathematical programming and algorithms from control theory, robot motion planning, and machine learning. The material is grounded in examples involving aerial and ground vehicles, manipulators, and self-driving cars.