Requirement Specifications for Autonomous Systems Course
by Coursera
Learn formal modeling of requirements for autonomous systems using temporal logic, finite automata, and Büchi automata. Part of CU Boulder's MS in Computer Science on Coursera.
Why this course
- Covers advanced formal methods essential for safety-critical autonomous systems
- Introduces both finite and Büchi automata with clear theoretical grounding
- Strong foundation for further study in verification and formal modeling
- Highly relevant for researchers and engineers in robotics and control systems
