Verification and Synthesis of Autonomous Systems

Coursera Courses ↗ · Coursera

Open Course on Coursera

Free to audit · Opens on Coursera

Verification and Synthesis of Autonomous Systems

Coursera · Beginner ·🤖 AI Agents & Automation ·1mo ago
This course will provide different techniques on the verification of autonomous systems against stability, regular, or omega-regular properties. Such techniques include Lyapunov theories, reachability analysis, barrier certificates, and model checking. Finally, it will introduce several techniques on designing controllers enforcing properties of interest over the original autonomous systems. This course can be taken for academic credit as part of CU Boulder’s Masters of Science in Computer Science (MS-CS) degrees offered on the Coursera platform. This fully accredited graduate degree 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

Related AI Lessons

OpenAI’s Deployment Company Proves Enterprise AI Has a Last-Mile Problem
OpenAI's deployment company faces challenges in bringing AI to enterprises, highlighting the last-mile problem in AI adoption
Dev.to AI
How We Cut a Finance Broker's Lead Qualification Cost from $42 to $1.20
Learn how a voice AI agent reduced a finance broker's lead qualification cost by 97%, from $42 to $1.20, and what changes were made to achieve this
Dev.to AI
Your AI database agent should not approve its own writes
Ensure AI database agents propose changes, not decide them, to maintain data integrity and security
Dev.to AI
Your AI database agent needs a query budget
Learn how to optimize your AI database agent's performance by implementing a query budget, ensuring efficient and cost-effective data retrieval
Dev.to · Mads Hansen
Up next
Google's NEW AI Agent LEAKS are WILD!
Julian Goldie SEO
Watch →