Products
Top 100 ProductsExplore best user picked AI products
AI Products CatalogueDiscover a World of AI Solutions
Learning
CoursesExplore best courses to learn about AI
HackathonJoin our upcoming #BuildwithAI hackathon
Top NewsBecome part of the largest AI community
Explore
ShopBuy our merch
EventsUpcoming AI events
AI AgentsBrowse AI agents to improve your workflow
Advertise
Sign up to our newsletter
Menu
Home CoursesAI productsAI agentsEventsAI NewsShopHelpPrivacy policy
Join us on
All rights reserved © 2024 Genai Works
Back
Courses
Requirement Specifications for Autonomous Systems

Requirement Specifications for Autonomous Systems

AI in Education
intermediate
Price
Free
Tried by
0

About Requirement Specifications for Autonomous Systems course

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
Company
University of Colorado
Resources
Website

More gallery

Similar courses

Using AI in your everyday work: GitHub Copilot
ind out how to use AI every day to streamline your work with GitHub Copilot. Watch videos and work through a learning path, as you get an introduction, explore the fundamentals, and learn about GitHub Copilot and GitHub Copilot for Visual Studio. This content is recommended for developers.
by Genai Works
Wes Roth
AI News by Wes Roth. Bringing you the latest AI news, emerging tech and artificial intelligence breakthroughs. We cover: AI Robots Virtual reality Space Self-driving cars Brain computer interfaces Video Games Elon Musk Sam Altman OpenAI DeepMind ...and anything related.
by Genai Works
AI Jason
My name is Jason Zhou, a product designer who share interesting AI experiments & products. Email me if you need help building AI apps!
by Genai Works

Last Reviews

Oops! It looks like you need to sign up
Before leaving a review you need to create an account. Don't worry, it only takes a moment and gives you access to exclusive content and updates. Ready to get started?