• 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 Illinois Urbana-Champaign

    The 3D Printing Revolution

    Skills you'll gain: 3D Modeling, Emerging Technologies, Business Transformation, Prototyping, Manufacturing and Production, Manufacturing Processes, Design, Business Economics, Materials science, Innovation, Product Development, New Product Development

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Meta

    APIs

    Skills you'll gain: Restful API, API Testing, Django (Web Framework), API Design, Software Documentation, Application Programming Interface (API), Authentications, Authorization (Computing), Debugging, JSON, Performance Tuning, Data Validation, Extensible Markup Language (XML)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    369 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    McMaster University

    Finance for Everyone

    Skills you'll gain: Peer Review, Finance, Financial Market, Financial Analysis, Cash Flows, Financial Modeling, Capital Markets, Investments, Derivatives, Business Valuation, Financial Policy, Financial Data, Equities, Project Design, Market Dynamics, Risk Management, Business Mathematics, Market Trend, Credit Risk, Project Documentation

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    S

    Sapienza University of Rome

    Recovering the Humankind's Past and Saving the Universal Heritage

    Skills you'll gain: Ancient History, 3D Modeling, Scientific Methods, Anthropology, Investigation, Data Modeling, Cultural Diversity, Case Studies, Art History, Research, Timelines, Data Management

    4.4
    Rating, 4.4 out of 5 stars
    ·
    309 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Spacecraft Dynamics and Control

    Skills you'll gain: Control Systems, Vibrations, Mechanics, Torque (Physics), Global Positioning Systems, Linear Algebra, Numerical Analysis, Simulations, Engineering Analysis, Trigonometry, Mathematical Modeling, Differential Equations, Simulation and Simulation Software, Engineering Calculations, Applied Mathematics, Engineering, Verification And Validation, Advanced Mathematics, Algorithms, Physics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    437 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    Strategic Leadership: Impact, Change, and Decision-Making

    Skills you'll gain: Decision Making, Creativity, Talent Management, Communication, Innovation, Strategic Decision-Making, Personal Development, Curiosity, People Development, Professional Networking, Collaboration, Leadership Development, Productivity, Time Management, Self-Awareness, Strategic Leadership, Business Leadership, Leadership, Emotional Intelligence, Organizational Leadership

    4.8
    Rating, 4.8 out of 5 stars
    ·
    656 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Client Needs and Software Requirements

    Skills you'll gain: Requirements Analysis, Requirements Elicitation, Requirements Management, Functional Requirement, Business Requirements, Product Requirements, Backlogs, User Requirements Documents, Scope Management, Change Control, User Story, System Requirements, Client Services, Acceptance Testing, Agile Software Development, Prioritization

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Think Again III: How to Reason Inductively

    Skills you'll gain: Deductive Reasoning, Probability, Sampling (Statistics), Sample Size Determination, Correlation Analysis, Case Studies, Scientific Methods

    4.6
    Rating, 4.6 out of 5 stars
    ·
    456 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Applied Text Mining in Python

    Skills you'll gain: Text Mining, Data Preprocessing, Natural Language Processing, Pandas (Python Package), Scikit Learn (Machine Learning Library), Classification Algorithms, Feature Engineering, Data Manipulation, Python Programming, Unsupervised Learning, Supervised Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    3.8K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Firm Level Economics: Markets and Allocations

    Skills you'll gain: Supply And Demand, Market Dynamics, Economics, Business Economics, Game Theory, Market Analysis, Resource Allocation, Environmental Policy, Public Policies, Decision Making

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    UBITS

    Introducción a la inteligencia emocional

    Skills you'll gain: Emotional Intelligence, Personal Development, Empathy & Emotional Intelligence, Self-Awareness, Persistence, Self-Motivation, Adaptability, Resilience, Interpersonal Communications, Cultural Diversity, Communication, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    999 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    A

    American Museum of Natural History

    Our Earth's Future

    Skills you'll gain: Climate Change Programs, Climate Change Mitigation, Social Sciences, Environmental Issue, Climate Change Adaptation, Socioeconomics, Economics, Policy, and Social Studies, Environment, Scientific Methods, Environmental Science, Physical Science, General Science and Research, Media and Communications, Hydrology, Mathematical Modeling, Model Evaluation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    818 reviews

    Mixed · Course · 1 - 3 Months

1…139140141…573

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

  • The 3D Printing Revolution: University of Illinois Urbana-Champaign
  • APIs: Meta
  • Finance for Everyone: McMaster University
  • Recovering the Humankind's Past and Saving the Universal Heritage: Sapienza University of Rome
  • Spacecraft Dynamics and Control: University of Colorado Boulder
  • Strategic Leadership: Impact, Change, and Decision-Making: Dartmouth College
  • Client Needs and Software Requirements : University of Alberta
  • Think Again III: How to Reason Inductively: Duke University
  • Applied Text Mining in Python: University of Michigan
  • Firm Level Economics: Markets and Allocations: University of Illinois Urbana-Champaign

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