• 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: New
    New
    Status: Free Trial
    Free Trial
    A

    American Council on Exercise

    Pathway to Wellness: Mind, Movement & Nutrition

    Skills you'll gain: Nutrition Education, Nutrition and Diet, Mental Health, Nutrition Counseling, Mindfulness, Exercise Science, Mental Concentration, Community Health, Preventative Care, Health Education, Health Promotion, Health Technology, Injury Prevention, Stress Management, Clinical Nutrition, Behavioral Health, Pharmacology, Geriatrics, Personal Development, Behavior Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    23 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    ANOVA and Experimental Design

    Skills you'll gain: Statistical Hypothesis Testing, Experimentation, Research Design, Statistical Analysis, Data Ethics, Statistical Modeling, Data Science, A/B Testing, Data Analysis, Quantitative Research, Regression Analysis, Statistical Inference, Probability & Statistics, Sample Size Determination, Linear Algebra, Calculus

    Build toward a degree

    4
    Rating, 4 out of 5 stars
    ·
    19 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of London

    إدارة شركات المستقبل

    Skills you'll gain: Organizational Change, Goal Setting, Leadership and Management, Business Management, Change Management, Personal Development, People Management, Organizational Structure, Decision Making, Leadership, Coordination

    4.7
    Rating, 4.7 out of 5 stars
    ·
    104 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Functional Program Design in Scala (Scala 2 version)

    Skills you'll gain: Scala Programming, Functional Design, Software Design Patterns, Unit Testing, Data Structures, Simulations

    4.6
    Rating, 4.6 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Implementation of GenAI Agents

    Skills you'll gain: Generative AI Agents, LangChain, AI Workflows, LLM Application, Agentic systems, Development Environment, Model Evaluation, OpenAI, Artificial Intelligence, Scalability, Applied Machine Learning, Performance Tuning, Design

    4.5
    Rating, 4.5 out of 5 stars
    ·
    55 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Dominant Risk Management Standards and Frameworks

    Skills you'll gain: Cost Benefit Analysis, Risk Management Framework, Risk Management, Risk Analysis, Cyber Risk, ISO/IEC 27001, Enterprise Risk Management (ERM), NIST 800-53, Business Risk Management, Risk Mitigation, Governance Risk Management and Compliance, Cybersecurity, Technical Standard, Security Controls

    4.7
    Rating, 4.7 out of 5 stars
    ·
    42 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Deep Learning with Python: CNN, ANN & RNN

    Skills you'll gain: Model Evaluation, Convolutional Neural Networks, Data Preprocessing, Keras (Neural Network Library), Image Analysis, Deep Learning, Tensorflow, Computer Vision, Artificial Neural Networks, Recurrent Neural Networks (RNNs), Data Manipulation, Data Transformation, Financial Forecasting, Data Visualization, Time Series Analysis and Forecasting, Exploratory Data Analysis, Python Programming, Customer Analysis, Applied Machine Learning, Cloud Computing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    47 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    Equitable Stage Makeup and Hair

    Skills you'll gain: Color Theory, Performing Arts, Design, Storytelling, Diversity Awareness, Cultural Sensitivity, Detail Oriented, Creativity

    4.3
    Rating, 4.3 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDHEC Business School

    Climate Aware Investing

    Skills you'll gain: Environmental Social And Corporate Governance (ESG), Portfolio Management, Investment Management, Climate Change Mitigation, Finance, Asset Management, Financial Market, Climate Change Adaptation, Investments, Risk Management, Performance Analysis, Sustainable Business, Equities, Risk Analysis, Environmental Regulations, Economics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    53 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    The State University of New York

    Communication and Leadership during a Public Health Crisis

    Skills you'll gain: Conflict Management, Leadership, Collaboration, Teamwork, Communication, Interpersonal Communications, Verbal Communication Skills, Crisis Intervention, Active Listening, Empathy

    4.5
    Rating, 4.5 out of 5 stars
    ·
    63 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Retrieval Augmented Generation

    Skills you'll gain: Retrieval-Augmented Generation, Large Language Modeling, LLM Application, Development Environment, Multimodal Prompts, Embeddings, Vector Databases, User Interface (UI), Generative AI, AI Workflows, AI Personalization, Prompt Engineering, Agentic systems, Data Visualization, Image Analysis, Application Development, Augmented Reality, Text Mining, Graph Theory, Query Languages

    4.5
    Rating, 4.5 out of 5 stars
    ·
    14 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    UiPath

    Automation Techniques in RPA

    Skills you'll gain: Email Automation, Web Scraping, Robotic Process Automation, Automation, Network Protocols, Data Import/Export, Unstructured Data, Document Management, Spreadsheet Software

    4.6
    Rating, 4.6 out of 5 stars
    ·
    38 reviews

    Beginner · Course · 1 - 4 Weeks

1…305306307…581

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

  • Pathway to Wellness: Mind, Movement & Nutrition: American Council on Exercise
  • ANOVA and Experimental Design: University of Colorado Boulder
  • إدارة شركات المستقبل: University of London
  • Functional Program Design in Scala (Scala 2 version): École Polytechnique Fédérale de Lausanne
  • Implementation of GenAI Agents: Coursera
  • Dominant Risk Management Standards and Frameworks: Kennesaw State University
  • Deep Learning with Python: CNN, ANN & RNN: EDUCBA
  • Equitable Stage Makeup and Hair: University of Michigan
  • Climate Aware Investing: EDHEC Business School
  • Communication and Leadership during a Public Health Crisis: The State University of New York

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