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

    Teaching Science at University

    Skills you'll gain: Laboratory Experience, Student Engagement, Teaching, Instructional Strategies, Experimentation, Drive Engagement, Lecturing, Higher Education, Curriculum Planning, Research, Scientific Methods, General Science and Research, Model Evaluation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    195 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Fundamentals of Macroscopic and Microscopic Thermodynamics

    Skills you'll gain: Mechanical Engineering, Statistical Methods, Engineering, Physics, Probability Distribution, Physical Science, Chemistry, Calculus

    4.3
    Rating, 4.3 out of 5 stars
    ·
    268 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Professional Success Skills

    Skills you'll gain: Creative Thinking, Creativity, Business Ethics, Business Analytics, Ideation, Creative Problem-Solving, Leadership and Management, Business Analysis, Business Leadership, Brainstorming, Business Strategy, Organizational Leadership, Decision Making, Emotional Intelligence, Accounting, Cultural Sensitivity, Cultural Diversity, Brand Management, Organizational Structure, Culture

    4.8
    Rating, 4.8 out of 5 stars
    ·
    411 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Data and Business Process Modeling with Microsoft Visio

    Skills you'll gain: Process Flow Diagrams, Business Process Modeling, Data Modeling, Microsoft Visio, Diagram Design, Business Process, Business Analysis, Data Flow Diagrams (DFDs)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    128 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    P

    Princeton University

    Effective Altruism

    Skills you'll gain: Business Ethics, Ethical Standards And Conduct, Philanthropy, Decision Making, Research, Social Impact, Behavioral Economics, Social Justice, Program Evaluation, Socioeconomics, Economics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    810 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Biology Everywhere

    Skills you'll gain: Molecular Biology, Biochemistry, Human Development, Biology, Life Sciences, Environment, Chemistry, Cell Biology, Environmental Issue, Child Development, Environmental Science, Environmental Resource Management, Music, Biotechnology, General Science and Research, Decision Making, Natural Resource Management, Liberal Arts, Oncology, Sustainable Development

    4.5
    Rating, 4.5 out of 5 stars
    ·
    385 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The University of Chicago

    Global Warming II: Create Your Own Models in Python

    Skills you'll gain: Climate Change Programs, Mathematical Modeling, NumPy, Physical Science, Simulation and Simulation Software, Environmental Science, Scientific Visualization, Matplotlib, Simulations, Numerical Analysis, Differential Equations, Mechanics

    4.2
    Rating, 4.2 out of 5 stars
    ·
    57 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    American Psychological Association

    Anxiety and Related Disorders

    Skills you'll gain: Clinical Psychology, Mental Health Diseases and Disorders, Psychiatry, Psychological Evaluations, Mental Health, Mental and Behavioral Health, Patient Evaluation, Behavioral Health, Cognitive Behavioral Therapy, Cultural Diversity, Patient Treatment

    4.8
    Rating, 4.8 out of 5 stars
    ·
    212 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    National Taiwan University

    Operations Research (2): Optimization Algorithms

    Skills you'll gain: Operations Research, Linear Algebra, Numerical Analysis, Applied Mathematics, Algorithms, Process Optimization, Engineering Calculations, Program Implementation, Computational Thinking, Operational Analysis, Mathematical Modeling, Resource Allocation, Decision Making, Facility Management, Calculus, Business Analytics

    4.9
    Rating, 4.9 out of 5 stars
    ·
    158 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    EDHEC Business School

    Building Strategic Foresight Capabilities

    Skills you'll gain: Systems Thinking, Strategic Thinking, Forecasting, Strategic Planning, Strategic Decision-Making, Stakeholder Engagement, Organizational Strategy, Complex Problem Solving, Business Transformation, Business Strategy, Trend Analysis, Innovation, Sustainable Development, Decision Making, Creativity, Emerging Technologies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    248 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Creative Design, Prototyping, and Testing

    Skills you'll gain: Product Development, New Product Development, Wireframing, Product Design, User Experience Design, Prototyping, Design Thinking, Conceptual Design, Product Testing, Project Management, Product Management, Agile Methodology

    4.2
    Rating, 4.2 out of 5 stars
    ·
    100 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Columbia University

    Term-Structure and Credit Derivatives

    Skills you'll gain: Derivatives, Mortgage Loans, Securities (Finance), Credit Risk, Financial Modeling, Risk Modeling, Financial Market, Mathematical Modeling, Securities Trading, Applied Mathematics, Investment Banking, Microsoft Excel, Risk Analysis, Cash Flows, Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    63 reviews

    Intermediate · Course · 1 - 3 Months

1…174175176…569

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

  • Teaching Science at University: University of Zurich
  • Fundamentals of Macroscopic and Microscopic Thermodynamics: University of Colorado Boulder
  • Professional Success Skills: University of Illinois Urbana-Champaign
  • Data and Business Process Modeling with Microsoft Visio: Microsoft
  • Effective Altruism: Princeton University
  • Biology Everywhere: University of Colorado Boulder
  • Global Warming II: Create Your Own Models in Python: The University of Chicago
  • Anxiety and Related Disorders: American Psychological Association
  • Operations Research (2): Optimization Algorithms: National Taiwan University
  • Building Strategic Foresight Capabilities: EDHEC Business School

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