- Applied Mathematics
- Theoretical Computer Science
- Computer Science
- Computational Logic
- Agentic systems
- Control Systems
- Mathematical Modeling
- System Requirements
- Verification And Validation
- Linear Algebra
Requirement Specifications for 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 Requirement Specifications for Autonomous Systems
What you will learn
Utilize formal methods to specify and verify requirements for autonomous systems.
Model system behaviors and verify stability using various analytical methods.
Apply reachable set computation and robustness analysis in system design.
Skills you will gain
