• 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"


  • C

    Coursera

    Build a Product Management Plan Framework in Trello

    Skills you'll gain: Kanban Principles, Workflow Management, Collaborative Software, Team Oriented, Product Management, Product Planning, Product Lifecycle Management, Timelines, Project Management Software, Project Management

    4.5
    Rating, 4.5 out of 5 stars
    ·
    112 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    F

    Fractal Analytics

    Foundations of Machine Learning

    Skills you'll gain: Model Evaluation, Model Deployment, Machine Learning, Supervised Learning, Regression Analysis, Decision Tree Learning, Feature Engineering, Data Preprocessing, Unsupervised Learning, Predictive Modeling, Logistic Regression, Anomaly Detection, Classification Algorithms

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Deployment and DevOps

    Skills you'll gain: CI/CD, Azure DevOps, Continuous Integration, Cloud Deployment, Application Deployment, Microsoft Azure, Cloud Services, Continuous Deployment, DevOps, Cloud Applications, Cloud Security, Microsoft Copilot, System Monitoring, Debugging

    4.1
    Rating, 4.1 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Austral

    La escuela rural y su comunidad: herramientas para la acción

    Skills you'll gain: Program Evaluation, Community Outreach, Education and Training, Community Development, Teaching, Curriculum Planning, Mentorship, Student Support and Services, Family Support, Cultural Responsiveness

    4.8
    Rating, 4.8 out of 5 stars
    ·
    80 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Animation with JavaScript and jQuery

    Skills you'll gain: jQuery, Javascript and jQuery, UI Components, Scripting, Cascading Style Sheets (CSS), HTML and CSS, Javascript, Hypertext Markup Language (HTML), Web Development Tools, Animations, User Interface (UI) Design

    4.8
    Rating, 4.8 out of 5 stars
    ·
    127 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Global Disease Masterclass: Global Disease Distribution

    Skills you'll gain: Epidemiology, Health Disparities, Public Health, Social Determinants Of Health, Infectious Diseases, Health Care, Health Systems, Health Policy, Socioeconomics, Health Assessment, Chronic Diseases, Statistical Analysis, Data Collection

    4.7
    Rating, 4.7 out of 5 stars
    ·
    127 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Leading Oneself with Personal Excellence

    Skills you'll gain: Personal Development, Resilience, Self-Awareness, Mental Concentration, Accountability, Overcoming Obstacles, Self-Motivation, Persistence, Productivity, Emotional Intelligence, Positivity, Optimism, Stress Management, Goal Setting

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    47 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Spacecraft Dynamics Capstone: Mars Mission

    Skills you'll gain: Control Systems, Numerical Analysis, Simulations, Engineering Analysis, Engineering Calculations, Torque (Physics), Verification And Validation, Mathematical Modeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    50 reviews

    Advanced · Course · 1 - 3 Months

  • C

    Coursera

    Cervical Cancer Risk Prediction Using Machine Learning

    Skills you'll gain: Model Evaluation, Exploratory Data Analysis, Data Analysis, Classification Algorithms, Data Preprocessing, Scikit Learn (Machine Learning Library), Predictive Modeling, Matplotlib, Pandas (Python Package), Applied Machine Learning, Data Visualization Software, Machine Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    44 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Machine Learning Models in Science

    Skills you'll gain: Data Preprocessing, Applied Machine Learning, Dimensionality Reduction, Data Cleansing, Scikit Learn (Machine Learning Library), Data Transformation, Artificial Neural Networks, Random Forest Algorithm, Machine Learning, Unsupervised Learning, Supervised Learning, Classification Algorithms, Predictive Modeling, Python Programming

    4.1
    Rating, 4.1 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    Geometric Algorithms

    Skills you'll gain: Geometry, Algorithms, Computer Graphics, Data Structures, Graph Theory, Spatial Data Analysis, Computational Thinking, Geographic Information Systems, Theoretical Computer Science, Spatial Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    24 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Data Engineer, Big Data and ML on Google Cloud en Français

    Skills you'll gain: Model Deployment, Dataflow, Data Pipelines, Data Lakes, Google Cloud Platform, Real Time Data, Data Import/Export, Extract, Transform, Load, PySpark, Data Governance, Tensorflow, Apache Spark, Dashboard, Data Quality, Apache Kafka, Data Warehousing, Data Architecture, Big Data, Unstructured Data, Data Infrastructure

    4.4
    Rating, 4.4 out of 5 stars
    ·
    58 reviews

    Intermediate · Specialization · 3 - 6 Months

1…290291292…581

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

  • Build a Product Management Plan Framework in Trello: Coursera
  • Foundations of Machine Learning : Fractal Analytics
  • Deployment and DevOps: Microsoft
  • La escuela rural y su comunidad: herramientas para la acción: Universidad Austral
  • Animation with JavaScript and jQuery: University of California, Davis
  • Global Disease Masterclass: Global Disease Distribution: Imperial College London
  • Leading Oneself with Personal Excellence: University of Colorado Boulder
  • Spacecraft Dynamics Capstone: Mars Mission: University of Colorado Boulder
  • Cervical Cancer Risk Prediction Using Machine Learning: Coursera
  • Machine Learning Models in Science: LearnQuest

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