Requirement Specifications for Autonomous Systems
Completed by Minyeong Kim
June 25, 2025
11 hours (approximately)
Minyeong Kim'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
- Category: Systems Analysis
- Category: Mathematical Theory & Analysis
- Category: Computational Logic
- Category: Theoretical Computer Science
- Category: Functional Specification
- Category: Numerical Analysis
- Category: Applied Mathematics
- Category: Agentic systems
- Category: Verification And Validation
- Category: Requirements Analysis
- Category: Control Systems
- Category: Mathematical Modeling
