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

    Fundamental Skills in Engineering Design

    Skills you'll gain: Engineering Design Process, Engineering Management, Requirements Elicitation, Product Lifecycle Management, Problem Solving, Product Design, Product Development, Engineering Practices, New Product Development, Product Requirements, Conceptual Design

    4.7
    Rating, 4.7 out of 5 stars
    ·
    229 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Mathematical Biostatistics Boot Camp 2

    Skills you'll gain: Statistical Hypothesis Testing, Statistical Analysis, Statistical Methods, Probability & Statistics, Statistical Inference, Biostatistics, Sampling (Statistics), Statistics, Data Analysis, Regression Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    138 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    The Museum of Modern Art

    Art & Inquiry: Museum Teaching Strategies For Your Classroom

    Skills you'll gain: Creative Thinking, Creativity, Educational Materials, Curiosity, Liberal Arts, Resourcefulness, Art History, Literacy, Developing Training Materials, Analytical Skills, Open Mindset, Learning Strategies, Collaboration, Communication Strategies

    4.8
    Rating, 4.8 out of 5 stars
    ·
    529 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    قيادة الفرق

    Skills you'll gain: Team Management, Team Building, Team Leadership, Team Motivation, Conflict Management, Collaboration, Performance Management, Drive Engagement, Organizational Structure, Innovation, Diversity and Inclusion, Decision Making, Coordination, Creativity

    4.8
    Rating, 4.8 out of 5 stars
    ·
    722 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    Brilliant, Passionate You

    Skills you'll gain: Storytelling, Personal Development, Overcoming Obstacles, Growth Mindedness, Resilience, Self-Awareness, Mental Health, Empowerment, Community Development, Positivity, Lifelong Learning, Relationship Building, Goal Setting, Cultural Diversity

    4.6
    Rating, 4.6 out of 5 stars
    ·
    288 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Statistics and Applied Data Analysis

    Skills you'll gain: Statistical Hypothesis Testing, Descriptive Statistics, Statistical Visualization, Data Transformation, Data Cleansing, Statistical Analysis, Regression Analysis, Probability, Probability Distribution, Sampling (Statistics), Box Plots, Histogram, R Programming, Statistical Methods, Scatter Plots, Microsoft Excel, Probability & Statistics, Statistics, Data Import/Export, Data Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    46 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Michigan State University

    Journalism, the future, and you!

    Skills you'll gain: Journalism, Media and Communications, International Relations, Interviewing Skills, Ethical Standards And Conduct, Decision Making, Podcasting, Storytelling, Safety and Security, Content Creation, Digital Publishing, Diversity Awareness, Business Modeling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    379 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Cloud Computing Applications, Part 2: Big Data and Applications in the Cloud

    Skills you'll gain: Big Data, Apache Spark, Apache Hadoop, Apache Mahout, Distributed Computing, Data Storage, Data Processing, NoSQL, Apache Kafka, Cloud Computing, Real Time Data, Databases, Analytics, Deep Learning, Scalability, Machine Learning Algorithms, Graph Theory, Machine Learning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    342 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Analyse numérique pour ingénieurs

    Skills you'll gain: Numerical Analysis, Engineering Analysis, Differential Equations, Matlab, Calculus, Mathematical Modeling, Linear Algebra, Applied Mathematics, Integral Calculus, Algorithms, Derivatives

    4.5
    Rating, 4.5 out of 5 stars
    ·
    109 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Introduction to Object-Oriented Programming with Java

    Skills you'll gain: Java Programming, Java, Object Oriented Programming (OOP), Computer Programming, Virtual Machines, Package and Software Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    527 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    AI for Cybersecurity

    Skills you'll gain: Generative Adversarial Networks (GANs), Anomaly Detection, AI Security, Generative AI, Fraud detection, Intrusion Detection and Prevention, Model Evaluation, Malware Protection, Cyber Threat Hunting, Cybersecurity, Threat Detection, Feature Engineering, Network Analysis, Cyber Attacks, Cyber Security Strategy, Applied Machine Learning, Email Security, Network Security, Jupyter, Unsupervised Learning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    103 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    K

    Knowledge Accelerators

    Data-Driven Decisions with Power BI

    Skills you'll gain: Power BI, Data Import/Export, Business Intelligence, Dashboard, Data Transformation, Data Visualization, Microsoft Power Platform, Data Presentation, Interactive Data Visualization, Pivot Tables And Charts, Data Visualization Software, Microsoft Teams, Management Reporting, Microsoft Excel, Data Analysis, Microsoft 365, Data Cleansing, Microsoft Office, Data Modeling, Data Science

    4.3
    Rating, 4.3 out of 5 stars
    ·
    267 reviews

    Beginner · Course · 1 - 3 Months

1…176177178…569

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

  • Fundamental Skills in Engineering Design: University of Leeds
  • Mathematical Biostatistics Boot Camp 2: Johns Hopkins University
  • Art & Inquiry: Museum Teaching Strategies For Your Classroom: The Museum of Modern Art
  • قيادة الفرق : University of Michigan
  • Brilliant, Passionate You: University of Michigan
  • Statistics and Applied Data Analysis: University of Colorado Boulder
  • Journalism, the future, and you!: Michigan State University
  • Cloud Computing Applications, Part 2: Big Data and Applications in the Cloud: University of Illinois Urbana-Champaign
  • Analyse numérique pour ingénieurs: École Polytechnique Fédérale de Lausanne
  • Introduction to Object-Oriented Programming with Java: 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