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
⚡
⚡
⚡
⚡
Comparing 6 AI Routers Is a Mistake — Until You Define ‘Survived’
Medium · AI
Comparing 6 AI Routers Is a Mistake — Until You Define ‘Survived’
Medium · Programming
What if an AI continued thinking even after you closed the chat?
Dev.to · Stell
UI/UX is for humans. DX is for developers. AX is for AI agents – and we just built it.
Dev.to · anhmtk
🎓
Tutor Explanation
DeepCamp AI