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

    L&T EduTech

    Geometric and Traffic Aspects of Highway

    Skills you'll gain: Traffic Flow Optimization, Civil Engineering, Stormwater Management, Structural Engineering, Hydrology, Hydraulics, Construction, Safety Standards, Geometric Dimensioning And Tolerancing, Engineering Design Process

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    NumPy, Matplotlib & Pandas – Data Science Prerequisites

    Skills you'll gain: NumPy, Plot (Graphics), Pandas (Python Package), Scientific Visualization, Data Manipulation, Scatter Plots, Machine Learning, Data Science, Data Analysis Software, Histogram, Numerical Analysis, Probability Distribution, Linear Algebra, Classification Algorithms, Regression Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Blockchain and Cryptography Overview

    Skills you'll gain: Blockchain, Cryptography, Cybersecurity, Network Security, Data Security, Key Management, Encryption, Data Integrity, Authentications, Authorization (Computing), Transaction Processing, Algorithms

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Household Surveys for Program Evaluation in LMICs

    Skills you'll gain: Surveys, Survey Creation, Sampling (Statistics), Program Evaluation, Data Management, Data Collection, Data Analysis, Data Cleansing, Quantitative Research, Data Quality, Research Design, Sample Size Determination, Data Ethics

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Data Preparation and Evaluation with Copilot

    Skills you'll gain: Microsoft Copilot, Anomaly Detection, Data Transformation, Data Ethics, Data Cleansing, Data Preprocessing, Generative AI, Data Synthesis, Data Quality, Prompt Engineering, Responsible AI, Data Pipelines, Generative Adversarial Networks (GANs), Data Validation, Natural Language Processing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    17 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Specialized Data Visualization Approaches

    Skills you'll gain: Scientific Visualization, Data Visualization Software, Data Visualization, Visualization (Computer Graphics), Interactive Data Visualization, Computer Displays, Data Presentation, Time Series Analysis and Forecasting, Display Devices, Scalability, Data Validation, Computer Graphics, 3D Modeling, Medical Imaging, X-Ray Computed Tomography, Magnetic Resonance Imaging

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Advanced Rust Programming

    Skills you'll gain: Rust (Programming Language), Data Manipulation, System Programming, Data Structures, Performance Tuning, Data Management, Maintainability, Secure Coding, Web Development, Debugging, Application Development

    3.7
    Rating, 3.7 out of 5 stars
    ·
    14 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Cybersecurity Identity and Access Solutions with Azure AD

    Skills you'll gain: Azure Active Directory, Single Sign-On (SSO), Identity and Access Management, Authentications, Authorization (Computing), Active Directory, Multi-Factor Authentication, Microsoft Azure, Role-Based Access Control (RBAC), User Accounts, Security Controls, Enterprise Security, Cloud Services

    4.8
    Rating, 4.8 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    CertNexus

    Train Machine Learning Models

    Skills you'll gain: Jupyter, Unsupervised Learning, Model Evaluation, Classification Algorithms, Applied Machine Learning, Predictive Modeling, Regression Analysis, Data Preprocessing, Machine Learning, Supervised Learning, Feature Engineering, Performance Tuning, Algorithms

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Gemini for Data Scientists and Analysts

    Skills you'll gain: Google Gemini, Customer Insights, Customer Analysis, Customer Data Management, Big Data, Google Cloud Platform, Marketing Analytics, Generative AI, Data Analysis, Marketing Strategies, Machine Learning Methods, Predictive Analytics, Forecasting, Query Languages

    4
    Rating, 4 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Understanding Large Language Models in Business

    Skills you'll gain: Large Language Modeling, LLM Application, OpenAI API, Trend Analysis, Real Time Data, Analytics, Business Marketing, Program Development, Business Strategy, Generative AI, ChatGPT, Technology Roadmaps, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Copilot for Cybersecurity

    Skills you'll gain: Generative AI, Generative Adversarial Networks (GANs), System Monitoring, Data Ethics, AI Security, Large Language Modeling, Responsible AI, LLM Application, Artificial Intelligence, AI Enablement, Event Monitoring, Model Evaluation, Automation, Threat Detection, Emerging Technologies, Machine Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    29 reviews

    Intermediate · Course · 1 - 4 Weeks

1…390391392…584

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

  • Geometric and Traffic Aspects of Highway: L&T EduTech
  • NumPy, Matplotlib & Pandas – Data Science Prerequisites: Packt
  • Blockchain and Cryptography Overview: SkillUp
  • Household Surveys for Program Evaluation in LMICs: Johns Hopkins University
  • Data Preparation and Evaluation with Copilot: Microsoft
  • Specialized Data Visualization Approaches: Johns Hopkins University
  • Advanced Rust Programming: Edureka
  • Cybersecurity Identity and Access Solutions with Azure AD: Microsoft
  • Train Machine Learning Models: CertNexus
  • Gemini for Data Scientists and Analysts: Google Cloud

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