Verification and Synthesis of Autonomous Systems
Completed by Subarno Sen
March 14, 2026
11 hours (approximately)
Subarno Sen's account is verified. Coursera certifies their successful completion of Verification and Synthesis of Autonomous Systems
What you will learn
Analyze stability properties of linear systems
Compute over-approximations of reachable sets for some classes of systems
Perform model checking for finite systems
Synthesize controllers for safety and reachability specifications for finite systems using fixed-point algorithms
Skills you will gain
- Category: Theoretical Computer Science
- Category: Verification And Validation
- Category: Systems Analysis
- Category: Algorithms
- Category: Systems Design
- Category: Computational Logic
- Category: Functional Specification
