• 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

    Universidad Nacional Autónoma de México

    Charles Darwin: El origen del evolucionismo moderno

    Skills you'll gain: Life Sciences, Biology, European History, Higher Education, Taxonomy, Specimen Collection, Scientific Methods

    4.8
    Rating, 4.8 out of 5 stars
    ·
    357 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    Starweaver

    Tools and Techniques for Managing Stress

    Skills you'll gain: Stress Management, Resilience, Emotional Intelligence, Time Management, Personal Development, Organizational Skills, Mindfulness, Adaptability, Productivity, Prioritization, Personal Care, Goal Setting, Leadership

    4.7
    Rating, 4.7 out of 5 stars
    ·
    35 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of North Texas

    Management Foundations in the Hospitality Industry

    Skills you'll gain: Hospitality Management, Hospitality, Employee Training, Human Resources Management and Planning, Performance Appraisal, Leadership and Management, Team Motivation, Training Programs, Human Resources, Customer experience improvement, Recruitment, Employee Performance Management, Human Resource Strategy, Legal Risk, Employee Onboarding, Talent Acquisition, Job Analysis, Interviewing Skills

    4.4
    Rating, 4.4 out of 5 stars
    ·
    83 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Data Science for Marketing

    Skills you'll gain: Marketing Analytics, Classification And Regression Tree (CART), Probability & Statistics, AI Personalization, Statistical Software, Statistical Methods, Regression Analysis, Model Evaluation, Data-Driven Decision-Making, Data Ethics, Unsupervised Learning, Statistical Modeling, Data Visualization, Customer Analysis, Statistical Analysis, Predictive Analytics, Anomaly Detection, Advanced Analytics, Bayesian Network, Machine Learning

    4.9
    Rating, 4.9 out of 5 stars
    ·
    16 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Creativity Toolkit II: Creative Collaboration

    Skills you'll gain: Collaboration, Leadership, Presentations, Creativity, Teamwork, Innovation, Creative Thinking, Cross-Functional Collaboration, People Management, Persuasive Communication, Influencing, Storytelling, Communication, Social Skills, Decision Making, Culture

    4.8
    Rating, 4.8 out of 5 stars
    ·
    410 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Developing Data Models with LookML

    Skills you'll gain: Looker (Software), Data Modeling, Dashboard, Database Design, Data Warehousing, SQL, Data Analysis, Data Persistence, Version Control

    4.7
    Rating, 4.7 out of 5 stars
    ·
    71 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Copenhagen

    European Citizenship – Development, Scope, and Challenges

    Skills you'll gain: European History, Immigration Law, Political Sciences, Cultural Diversity, Social Justice, Policy Analysis, International Relations, Case Law, Social Sciences, Public Policies, Governance

    4.8
    Rating, 4.8 out of 5 stars
    ·
    68 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Integral Calculus and Numerical Analysis for Data Science

    Skills you'll gain: Integral Calculus, Numerical Analysis, Calculus, Data Science, Mathematical Theory & Analysis, Applied Mathematics, Linear Algebra, Derivatives

    4.6
    Rating, 4.6 out of 5 stars
    ·
    109 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    B

    Birla Institute of Technology & Science, Pilani

    Introduction to Bioinformatics

    Skills you'll gain: Bioinformatics, Biotechnology, Data Management, Biostatistics, Data Analysis, Data Mining, Applied Machine Learning, Unsupervised Learning, Correlation Analysis, Chemical and Biomedical Engineering, Dimensionality Reduction, Computational Thinking, Markov Model, Algorithms

    3.7
    Rating, 3.7 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Michigan State University

    Structure: Building the Frame for Business Growth

    Skills you'll gain: Financial Statements, Intellectual Property, Income Statement, Business Planning, Balance Sheet, Financial Modeling, Organizational Structure, Business Strategies, Team Management, Cash Flows, Regulation and Legal Compliance, Legal Risk, Recruitment Strategies

    4.8
    Rating, 4.8 out of 5 stars
    ·
    158 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of London

    Building Interactive 3D Characters and Social VR

    Skills you'll gain: Unity Engine, Augmented and Virtual Reality (AR/VR), Virtual Environment, 3D Modeling, Animations, Non-Verbal Communication, Interaction Design, Human Computer Interaction, Psychology, Artificial Intelligence

    4.4
    Rating, 4.4 out of 5 stars
    ·
    86 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    Real Estate Development: Building Value in Your Community

    Skills you'll gain: Financial Modeling, Community Development, Real Estate, Feasibility Studies, Financial Analysis, Risk Management, Community Outreach, Project Finance, Due Diligence, Sustainable Development, Property Management, Project Management, Capital Markets, Market Research

    4.9
    Rating, 4.9 out of 5 stars
    ·
    50 reviews

    Beginner · Course · 1 - 3 Months

1…217218219…574

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

  • Charles Darwin: El origen del evolucionismo moderno: Universidad Nacional Autónoma de México
  • Tools and Techniques for Managing Stress: Starweaver
  • Management Foundations in the Hospitality Industry: University of North Texas
  • Data Science for Marketing: University of Colorado System
  • Creativity Toolkit II: Creative Collaboration: University of Illinois Urbana-Champaign
  • Developing Data Models with LookML: Google Cloud
  • European Citizenship – Development, Scope, and Challenges: University of Copenhagen
  • Integral Calculus and Numerical Analysis for Data Science: University of Colorado Boulder
  • Introduction to Bioinformatics: Birla Institute of Technology & Science, Pilani
  • Structure: Building the Frame for Business Growth: Michigan State University

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