- Algorithms
- Theoretical Computer Science
- Computational Logic
- Systems Analysis
- System Requirements
- Verification And Validation
- Linear Algebra
- Simulations
Verification and Synthesis of Autonomous Systems
Completed by Mr. Clayton-M. Bernard-Ex.
January 24, 2025
10 hours (approximately)
Mr. Clayton-M. Bernard-Ex.'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
