Quantitative Model Checking
Welcome to the cutting-edge course on Quantitative Model Checking for Markov Chains! As technology permeates every aspect of modern life—Embedded Systems, Cyber-Physical Systems, Communication Protocols, and Transportation Systems—the need for dependable software is at an all-time high. One tiny flaw can lead to catastrophic failures and enormous costs. That's where you come in. The course kicks off with creating a State Transition System, the basic model that captures the intricate dynamics of real-world systems. Soon you'll step into the world of Discrete-time and Continuous-time Markov Cha
Skills you'll learn
We may earn a commission if you enroll through our links — it never affects the price you pay.
Similar courses
IoT Hardware Projects with SwiftIO Playground
This course features Coursera Coach! A smarter way to learn with interactive, real-time conversations that help you test your knowledge, challenge assumptions, and deepen your understanding as you progress through the course. Dive into the exciting world of IoT with SwiftIO Playground. In this hands-on course, you'll embark on 46 unique playground projects, ranging from basic LED control to complex applications such as weather stations, accelerometer-based locks, and even Tic-Tac-Toe games. Each project helps you build real-world IoT systems using Swift code and hardware, empowering you to dev
All levels
Virtual Sales Presentations, Meetings And Influence
This course develops the presentation, facilitation and engagement skills required to run effective virtual sales meetings and digital presentations. Learners explore how to structure persuasive online conversations, maintain engagement remotely and build trust through digital communication techniques. By the end of the course, learners will be able to deliver more confident virtual presentations, facilitate productive online meetings and improve engagement throughout remote sales interactions.
All levels
Accounting Analysis I: The Role of Accounting as an Information System
This course is the first course in a five-course Financial Reporting Specialization that covers the collection, processing, and communication of accounting information (via financial reports) about economic entities to interested parties (i.e., managers and external stakeholders such as stockholders and creditors). To gain the most relevant knowledge from these courses, learners should have taken a basic accounting course prior to this Specialization (which can be done through Coursera courses, such as any accounting course from the Fundamentals of Accounting Specialization: https://www.cours
All levels
Visualize Healthcare Data: Build & Critique Dashboards
Did you know that healthcare professionals who use effective data visualizations can reduce patient diagnosis time by up to 30%? This Short Course was created to help healthcare data professionals accomplish clear, accessible data communication that drives better patient outcomes. By completing this course, you'll be able to confidently select the right chart types for your healthcare data, build professional visualizations using industry-standard tools, and ensure your dashboards meet accessibility standards that serve all stakeholders. By the end of this course, you will be able to: - Re
All levels