• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Infinite State Stochastic Model Checking Methods

Results for "infinite-state stochastic model checking methods"


  • Status: Free Trial
    Free Trial
    U

    University of Toronto

    Motion Planning for Self-Driving Cars

    Skills you'll gain: Traffic Flow Optimization, Machine Controls, Automation, Robotics, Network Routing, Graph Theory, Algorithms, Computer Vision, Mathematical Modeling, Data Mapping, Predictive Modeling, Spatial Data Analysis, Control Systems, Estimation, Applied Mathematics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    486 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free
    Free
    D

    DeepLearning.AI

    ChatGPT Prompt Engineering for Developers

    Skills you'll gain: OpenAI API, ChatGPT, Prompt Engineering, LLM Application, Large Language Modeling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    2.2K reviews

    Beginner · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    É

    École Polytechnique Fédérale de Lausanne

    Digital Signal Processing

    Skills you'll gain: Digital Signal Processing, Digital Communications, Communication Systems, Image Analysis, Telecommunications, Electrical and Computer Engineering, Electrical Engineering, Embedded Systems, Electronic Systems, Engineering Analysis, Electronics, Programming Principles, Numerical Analysis, Algorithms, Linear Algebra, Mathematical Modeling, Time Series Analysis and Forecasting, Data Mapping, Real Time Data, Computer Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    799 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    Tel Aviv University

    The Emergence of the Modern Middle East - Part I

    Skills you'll gain: World History, Political Sciences, International Relations, European History, Social Sciences, Economics, Governance, Cultural Diversity

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.2K reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Meta

    Statistics Foundations

    Skills you'll gain: Bayesian Statistics, Descriptive Statistics, Statistical Hypothesis Testing, Statistical Inference, Sampling (Statistics), Data Modeling, Statistics, Probability & Statistics, Statistical Analysis, Statistical Methods, Statistical Modeling, Marketing Analytics, Tableau Software, Data Analysis, Spreadsheet Software, Analytics, Time Series Analysis and Forecasting, Regression Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    382 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Getting started with TensorFlow 2

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Model Evaluation, Deep Learning, Image Analysis, Convolutional Neural Networks, Transfer Learning, Supervised Learning, Computer Vision, Model Deployment, Artificial Neural Networks, Data Preprocessing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    580 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The State University of New York

    Foundations for Assisting in Home Care

    Skills you'll gain: Home Health Care, Nutrition and Diet, Geriatrics, Cultural Diversity, Caregiving, Working With Children, Meal Planning And Preparation, Disabilities, Patient Communication, Basic Patient Care, Mental and Behavioral Health, Family Support, Child Development, Dignity in Care, Patient Safety

    4.8
    Rating, 4.8 out of 5 stars
    ·
    669 reviews

    Mixed · Course · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The University of Edinburgh

    Know Thyself - The Value and Limits of Self-Knowledge: The Examined Life

    Skills you'll gain: Self-Awareness, Personal Development, Psychology, Research, Empathy, Cultural Diversity, Mindfulness

    4.7
    Rating, 4.7 out of 5 stars
    ·
    813 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Principles of fMRI 1

    Skills you'll gain: Magnetic Resonance Imaging, Medical Imaging, Radiology, Research Design, Image Analysis, Experimentation, Neurology, Data Preprocessing, Science and Research, Statistical Analysis, Statistical Modeling, Statistics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    849 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    ASP.NET for Experienced Developers

    Skills you'll gain: C# (Programming Language), Restful API, ASP.NET, Model View Controller, .NET Framework, Docker (Software), Azure DevOps, Object Oriented Programming (OOP), Microservices, Containerization, JSON, API Design, DevOps, Web Services, Middleware, CI/CD, Back-End Web Development, Web Applications, Programming Principles, Server Side

    4.1
    Rating, 4.1 out of 5 stars
    ·
    375 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    A

    Arizona State University

    Learning How To Learn for Youth

    Skills you'll gain: Learning Strategies, Productivity, Human Learning, Willingness To Learn, Mental Concentration, Creativity, Time Management, Stress Management, Problem Solving, Self-Awareness, Persistence

    4.8
    Rating, 4.8 out of 5 stars
    ·
    3K reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    New York Institute of Finance

    Using Machine Learning in Trading and Finance

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Financial Trading, Data Pipelines, Applied Machine Learning, Technical Analysis, Machine Learning, Securities Trading, Statistical Machine Learning, Market Trend, Financial Market, Deep Learning, Python Programming, Predictive Modeling, Model Evaluation, Time Series Analysis and Forecasting

    3.9
    Rating, 3.9 out of 5 stars
    ·
    375 reviews

    Intermediate · Course · 1 - 3 Months

1…135136137…573

In summary, here are 10 of our most popular infinite-state stochastic model checking methods courses

  • Motion Planning for Self-Driving Cars: University of Toronto
  • ChatGPT Prompt Engineering for Developers: DeepLearning.AI
  • Digital Signal Processing: École Polytechnique Fédérale de Lausanne
  • The Emergence of the Modern Middle East - Part I: Tel Aviv University
  • Statistics Foundations: Meta
  • Getting started with TensorFlow 2: Imperial College London
  • Foundations for Assisting in Home Care: The State University of New York
  • Know Thyself - The Value and Limits of Self-Knowledge: The Examined Life: The University of Edinburgh
  • Principles of fMRI 1: Johns Hopkins University
  • ASP.NET for Experienced Developers: Board Infinity

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok