• 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: Preview
    Preview
    U

    University of Michigan

    Negociación exitosa: Estrategias y habilidades esenciales (en español)

    Skills you'll gain: Negotiation, Contract Negotiation, Mediation, Arbitration, Communication, Conflict Management, Persuasive Communication, Planning, Influencing, Decision Making, Business Ethics

    4.8
    Rating, 4.8 out of 5 stars
    Ā·
    2.7K reviews

    Mixed Ā· Course Ā· 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Databricks

    Introduction to Computational Statistics for Data Scientists

    Skills you'll gain: Bayesian Statistics, Databricks, Sampling (Statistics), Statistical Modeling, Probability, Applied Machine Learning, Jupyter, Regression Analysis, Statistical Programming, Predictive Modeling, Model Evaluation, Probability Distribution, Data Science, Logistic Regression, Markov Model, Statistics, Statistical Inference, Statistical Methods, Simulations, Python Programming

    4
    Rating, 4 out of 5 stars
    Ā·
    109 reviews

    Beginner Ā· Specialization Ā· 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Advanced DAX and Performance Optimization

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Performance Tuning, Performance Analysis, Microsoft Excel, Time Series Analysis and Forecasting, Microsoft Copilot, Business Intelligence, Data Modeling, Data Manipulation, Business Metrics, Interactive Data Visualization

    Intermediate Ā· Course Ā· 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Data Engineering, Big Data, and Machine Learning on GCP

    Skills you'll gain: Model Deployment, Feature Engineering, PySpark, Data Import/Export, Big Data, Apache Spark, Dashboard, Data Architecture, Data Governance, Apache Kafka, Cloud Deployment, Apache Hadoop, Metadata Management, Data Storage, Apache Hive, Application Programming Interface (API), Data Quality, Data Cleansing, Applied Machine Learning, Cloud Services

    4.6
    Rating, 4.6 out of 5 stars
    Ā·
    4.4K reviews

    Intermediate Ā· Specialization Ā· 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Applied Football Analytics - Looking at real-world cases

    Skills you'll gain: Data Synthesis, Data Integration, Data Literacy, Data Storytelling, Analysis, Case Studies, Business Analytics, Advanced Analytics, Analytical Skills, Strategic Decision-Making, Business Metrics, Forecasting, Media and Communications, Statistics, Persuasive Communication, Databases, Database Design, Innovation

    Beginner Ā· Course Ā· 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Introduction to Big Data

    Skills you'll gain: Big Data, Apache Hadoop, Scalability, Data Processing, Data Science, Distributed Computing, Unstructured Data, Data Analysis

    4.6
    Rating, 4.6 out of 5 stars
    Ā·
    11K reviews

    Mixed Ā· Course Ā· 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universiteit Leiden

    De-Mystifying Mindfulness

    Skills you'll gain: Mindfulness, Self-Awareness, Mental Health, Social Justice, Psychology, Stress Management, Mental and Behavioral Health Specialties, Social Sciences, Cultural Diversity, Environment and Resource Management, Trauma Care, Ethical Standards And Conduct

    4.8
    Rating, 4.8 out of 5 stars
    Ā·
    1.6K reviews

    Beginner Ā· Course Ā· 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Microeconomics Principles

    Skills you'll gain: Supply And Demand, Economics, Market Dynamics, Behavioral Economics, Resource Allocation, Socioeconomics, Consumer Behaviour, Cost Benefit Analysis, Decision Making, Critical Thinking

    4.8
    Rating, 4.8 out of 5 stars
    Ā·
    3.3K reviews

    Beginner Ā· Course Ā· 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    G

    Google Cloud

    Generative AI Leader

    Skills you'll gain: Prompt Engineering, Generative AI Agents, Google Gemini, Retrieval-Augmented Generation, Responsible AI, Generative AI, Google Cloud Platform, AI Product Strategy, AI Enablement, Google Workspace, Customer Engagement, AI Workflows, Agentic systems, AI Security, Google Docs, Cloud Infrastructure, Cloud Computing, Artificial Intelligence, Data Modeling, Collaboration

    Beginner Ā· Specialization Ā· 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Infectious Disease Modelling

    Skills you'll gain: Epidemiology, Mathematical Modeling, Statistical Modeling, Simulations, Risk Modeling, Infectious Diseases, Public Health, Model Evaluation, Predictive Modeling, R Programming, Differential Equations, Data Modeling, Statistical Methods, Probability Distribution

    4.8
    Rating, 4.8 out of 5 stars
    Ā·
    296 reviews

    Intermediate Ā· Specialization Ā· 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Design and Integrate CCTV Systems Using AutoCAD

    Skills you'll gain: Computer-Aided Design, Architectural Drawing, Technical Drawing, Schematic Diagrams, Electrical Wiring, Facility Management, Coordination, Requirements Analysis

    Beginner Ā· Course Ā· 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    CTO Excellence: Driving Engineering Excellence

    Skills you'll gain: Organizational Strategy, Organizational Leadership, Decision Making

    Intermediate Ā· Course Ā· 1 - 4 Weeks

1…808182…566

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

  • Negociación exitosa: Estrategias y habilidades esenciales (en espaƱol):Ā University of Michigan
  • Introduction to Computational Statistics for Data Scientists:Ā Databricks
  • Advanced DAX and Performance Optimization:Ā Microsoft
  • Data Engineering, Big Data, and Machine Learning on GCP:Ā Google Cloud
  • Applied Football Analytics - Looking at real-world cases:Ā Real Madrid Graduate School Universidad Europea
  • Introduction to Big Data:Ā University of California San Diego
  • De-Mystifying Mindfulness:Ā Universiteit Leiden
  • Microeconomics Principles:Ā University of Illinois Urbana-Champaign
  • Generative AI Leader:Ā Google Cloud
  • Infectious Disease Modelling:Ā Imperial College London

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