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

    É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
    U

    University of California San Diego

    Finding Mutations in DNA and Proteins (Bioinformatics VI)

    Skills you'll gain: Bioinformatics, Markov Model, Molecular Biology, Machine Learning Methods, Computational Thinking, Data Mapping, Theoretical Computer Science, Infectious Diseases, Algorithms, Computer Programming Tools, Data Structures

    4.6
    Rating, 4.6 out of 5 stars
    ·
    61 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Columbia University

    The Construction Industry: The Way Forward

    Skills you'll gain: Construction, Business Transformation, Innovation, Architecture and Construction, Construction Management, Workforce Development, Emerging Technologies, Digital Transformation, Thought Leadership, Building Information Modeling, Sustainable Design, Climate Change Adaptation, Augmented and Virtual Reality (AR/VR), Strategic Partnership, Machine Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    398 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Introduction to Generative AI

    Skills you'll gain: Prompt Engineering, Generative AI, Retrieval-Augmented Generation, Generative Model Architectures, ChatGPT, OpenAI, Multimodal Prompts, Large Language Modeling, OpenAI API, Hugging Face, Responsible AI, GitHub, Python Programming, Machine Learning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    198 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    Technical University of Munich (TUM)

    Basics of Cost Accounting: Product Costing

    Skills you'll gain: Cost Accounting, Management Accounting, Cost Management, Accounting, Product Planning, Resource Allocation, Depreciation, Production Process, Financial Accounting, Operating Expense

    4.7
    Rating, 4.7 out of 5 stars
    ·
    207 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The Hong Kong University of Science and Technology

    Health Concepts in Chinese Medicine

    Skills you'll gain: Preventative Care, Pharmacology, Immunology, Chronic Diseases, Nutrition and Diet, Medical Terminology, Medical History Documentation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    430 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    W

    Wesleyan University

    Introduction to Abnormal Psychology

    Skills you'll gain: Psychological Evaluations, Mental Health Diseases and Disorders, Clinical Psychology, Cultural Diversity, Psychotherapy, Mental Health, Psychology, Cognitive Behavioral Therapy, Mental Health Therapies, Interpersonal Communications, Clinical Assessment, Social Determinants Of Health

    4.9
    Rating, 4.9 out of 5 stars
    ·
    493 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Splunk Inc.

    Splunk Search Expert

    Skills you'll gain: Splunk, Correlation Analysis, Data Transformation, Data Manipulation, Data Visualization Software, Performance Tuning, Dashboard, Data Analysis Expressions (DAX), Statistical Analysis, Data Processing, Security Information and Event Management (SIEM), Data Analysis, Data Synthesis, Data Modeling, Ad Hoc Reporting, Time Series Analysis and Forecasting, Business Intelligence, Big Data, Data Science, Business Analytics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    273 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Leeds

    Major Engineering Project Performance

    Skills you'll gain: Program Management, Project Portfolio Management, Engineering Management, Project Management, Project Management Life Cycle, Project Performance, Project Risk Management, Cost Management, Timelines, Stakeholder Management, Case Studies, Forecasting, Research, Presentations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    991 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Éléments de Géomatique

    Skills you'll gain: Spatial Data Analysis, Geospatial Mapping, Geospatial Information and Technology, Geographic Information Systems, Spatial Analysis, Geostatistics, Global Positioning Systems, 3D Modeling, Visualization (Computer Graphics), Engineering, Scientific, and Technical Instruments, Engineering Calculations, Trigonometry, Systems Of Measurement, Applied Mathematics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    143 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Computer Security and Systems Management

    Skills you'll gain: Windows Servers, Computer Security, Linux Administration, Contingency Planning, Disaster Recovery, Authorization (Computing), Linux, Linux Servers, Microsoft Windows, Authentications, Business Continuity Planning, OSI Models, User Accounts, Group Policy, Security Management, Microsoft Servers, Operating System Administration, Systems Administration, Virtualization, Cybersecurity

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.9K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    Saïd Business School, University of Oxford

    AI Essentials

    Skills you'll gain: Responsible AI, Artificial Neural Networks, Artificial Intelligence, AI Product Strategy, Generative AI, Deep Learning, Machine Learning, Convolutional Neural Networks, Supervised Learning, Reinforcement Learning, Unsupervised Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    124 reviews

    Beginner · Course · 1 - 3 Months

1…166167168…569

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

  • Analyse numérique pour ingénieurs: École Polytechnique Fédérale de Lausanne
  • Finding Mutations in DNA and Proteins (Bioinformatics VI): University of California San Diego
  • The Construction Industry: The Way Forward: Columbia University
  • Introduction to Generative AI: Duke University
  • Basics of Cost Accounting: Product Costing: Technical University of Munich (TUM)
  • Health Concepts in Chinese Medicine: The Hong Kong University of Science and Technology
  • Introduction to Abnormal Psychology: Wesleyan University
  • Splunk Search Expert: Splunk Inc.
  • Major Engineering Project Performance: University of Leeds
  • Éléments de Géomatique: École Polytechnique Fédérale de Lausanne

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