|
所在平台: Coursera专项课程 |
课程主页: https://www.coursera.org/specializations/foundations-of-autonomous-systems
课程评论：没有评论
课程名称：自主系统基础 概述：该课程由科罗拉多大学博尔德分校提供，旨在帮助学员设计可保证的自主系统。学员将掌握建模、规范、验证等技能。课程免费开放报名。 课程大纲： 1. **自主系统建模**：该部分将讲解任何自主系统的核心结构，包括传感器等组件。 - 课程链接：[建模自主系统](https://www.coursera.org/learn/modeling-of-autonomous-systems) 2. **自主系统需求规范**：本课程将讨论正式建模需求的不同方式，以满足自主系统的需要。 - 课程链接：[自主系统需求规范](https://www.coursera.org/learn/requirement-specifications-for-autonomous-systems) 3. **自主系统的验证与综合**：本部分将介绍验证自主系统的不同技术，确保系统满足规范。 - 课程链接：[验证与综合自主系统](https://www.coursera.org/learn/verification-and-synthesis-of-autonomous-systems) 欢迎对自主系统设计和验证感兴趣的学员免费报名参加。
Course Link: https://www.coursera.org/learn/modeling-of-autonomous-systems
Name:Modeling of Autonomous Systems
Description:Offered by University of Colorado Boulder. This course will explain the core structure in any autonomous system which includes sensors, ... Enroll for free.
Course Link: https://www.coursera.org/learn/requirement-specifications-for-autonomous-systems
Name:Requirement Specifications for Autonomous Systems
Description:Offered by University of Colorado Boulder. This course will discuss different ways of formally modeling requirements of interest for ... Enroll for free.
Course Link: https://www.coursera.org/learn/verification-and-synthesis-of-autonomous-systems
Name:Verification and Synthesis of Autonomous Systems
Description:Offered by University of Colorado Boulder. This course will provide different techniques on the verification of autonomous systems against ... Enroll for free.
Offered by University of Colorado Boulder. Design Autonomous Systems with Guarantee. Gain the skills to model, specify, verify, and ... Enroll for free.
