Requirement Specifications for Autonomous Systems
Skills:
Agent Foundations90%
This course will discuss different ways of formally modeling requirements of interest for autonomous systems. Examples of such requirements include stability, invariance, reachability, regular languages, omega-regular languages, and linear temporal logic properties. In addition, it will introduce non-deterministic finite and büchi automata for recognizing, respectively, regular languages and omega-regular languages.
This course can be taken for academic credit as part of CU Boulder’s MS in Computer Science degrees offered on the Coursera platform. These fully accredited graduate degrees offer targeted courses, short 8-week sessions, and pay-as-you-go tuition. Admission is based on performance in three preliminary courses, not academic history. CU degrees on Coursera are ideal for recent graduates or working professionals. Learn more:
MS in Computer Science: https://coursera.org/degrees/ms-computer-science-boulder
Watch on Coursera ↗
(saves to browser)
Sign in to unlock AI tutor explanation · ⚡30
More on: Agent Foundations
View skill →Related AI Lessons
⚡
⚡
⚡
⚡
OpenAI’s Deployment Company Proves Enterprise AI Has a Last-Mile Problem
Dev.to AI
How We Cut a Finance Broker's Lead Qualification Cost from $42 to $1.20
Dev.to AI
How an AI Agent Deleted a Production Database in Seconds
Medium · AI
How an AI Agent Deleted a Production Database in Seconds
Medium · Machine Learning
🎓
Tutor Explanation
DeepCamp AI