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

    Real Madrid Graduate School Universidad Europea

    Bases teóricas de la gestión de la salud y las lesiones

    Skills you'll gain: Exercise Science, AI Enablement, Risk Modeling, Precision Medicine, Predictive Modeling, Load Balancing, Health Education, Machine Learning, Data Modeling, Real Time Data, Mathematical Modeling

    Beginner · Course · 1 - 4 Weeks

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

    EDUCBA

    Master AI Skills: Analyze, Build & Deploy Systems

    Skills you'll gain: Computer Vision, Artificial Intelligence, Image Analysis, Natural Language Processing, Generative AI, Model Deployment, OpenAI, Amazon Bedrock, AI Workflows, AI Security, Text Mining, Robotics, Prompt Engineering, Automation, Reinforcement Learning, Model Evaluation, Scalability

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Developing Mobile Apps with React Native

    Skills you'll gain: React Native, Mobile Development, React Redux, React.js, Ajax, User Interface and User Experience (UI/UX) Design, Javascript, JavaScript Frameworks, Front-End Web Development, Data Structures, Application Development, Apple iOS, Debugging, iOS Development, User Story, Android Development, UI Components, Cross Platform Development, JSON, Flutter (Software)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    934 reviews

    Beginner · Specialization · 3 - 6 Months

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

    Edureka

    Mastering Claude AI: Prompting, APIs, RAG, and MCP

    Skills you'll gain: Retrieval-Augmented Generation, Model Context Protocol, Agentic Workflows, Prompt Engineering, Anthropic Claude, AI Orchestration, Application Programming Interface (API), Prompt Patterns, Restful API, Prompt Engineering Tools, LLM Application, JSON, Generative AI Agents, Tool Calling, Generative AI, Artificial Intelligence, Agentic systems, Automation, Scalability, Servers

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to Cybersecurity Tools & Cyberattacks

    Skills you'll gain: Malware Protection, Identity and Access Management, Incident Response, Cybersecurity, Network Security, Threat Detection, Cyber Attacks, Authentications, Security Awareness, Digital Forensics, Security Controls, Infrastructure Security, Multi-Factor Authentication, Human Factors (Security)

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

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Colorado Boulder

    Science of Exercise

    Skills you'll gain: Exercise Science, Kinesiology, Physiology, Sports Medicine, Nutrition and Diet, Pharmacology, Public Health and Disease Prevention, Immunology, Preventative Care, Respiration, Athletic Training, Endocrinology, Chronic Diseases, Vital Signs, Biochemistry, Public Health, Mental Health

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

    Beginner · Course · 1 - 4 Weeks

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

    Packt

    Powering Up Your Power BI Skills

    Skills you'll gain: Data Analysis Expressions (DAX), Customer Insights, Power BI, Dashboard, Data Modeling, Data Transformation, Data Import/Export, Interactive Data Visualization, Business Intelligence, Time Series Analysis and Forecasting, Data Visualization Software, Data Cleansing, Trend Analysis

    Intermediate · Course · 1 - 4 Weeks

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

    Edureka

    Power BI Developer

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Dashboard, Business Intelligence, Data Modeling, Data Storytelling, Extract, Transform, Load, Data Transformation, Data Visualization, Snowflake Schema, Business Analytics, Data Lakes, Data-Driven Decision-Making, Key Performance Indicators (KPIs), Data Analysis, Data Governance, Python Programming, Generative AI, Artificial Intelligence, Data Security

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Customer Analytics

    Skills you'll gain: Customer Analysis, Data-Driven Decision-Making, Descriptive Analytics, Marketing Analytics, Predictive Analytics, Customer Insights, Business Analytics, Analytics, Consumer Behaviour, Process Optimization, Data Collection, Regression Analysis, Market Research

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    User Experience Research and Design

    Skills you'll gain: UI/UX Research, Surveys, Qualitative Research, Usability Testing, User Experience Design, User Research, User Experience, User Story, Prototyping, Wireframing, User Centered Design, Survey Creation, Sampling (Statistics), Design Research, Interaction Design, Ideation, A/B Testing, Conceptual Design, Web Analytics, Usability

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Designing, Running, and Analyzing Experiments

    Skills you'll gain: Statistical Analysis, Experimentation, Usability Testing, Statistical Hypothesis Testing, Data Analysis, Statistical Methods, UI/UX Research, R Programming, User Experience, Human Computer Interaction, Statistics, Data Validation, Statistical Modeling, Regression Analysis, Logistic Regression

    3.6
    Rating, 3.6 out of 5 stars
    ·
    595 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    M

    Meta

    Meta Marketing Analytics

    Skills you'll gain: Data Storytelling, Data Presentation, Business Metrics, Key Performance Indicators (KPIs), Marketing Analytics, Bayesian Statistics, Data Visualization, Descriptive Statistics, Marketing Effectiveness, Statistical Hypothesis Testing, Target Audience, Marketing Strategies, Data Cleansing, Pandas (Python Package), Data Analysis, Data Visualization Software, A/B Testing, Data Collection, Marketing, Interviewing Skills

    Build toward a degree

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

    Beginner · Professional Certificate · 3 - 6 Months

1…505152…566

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

  • Bases teóricas de la gestión de la salud y las lesiones: Real Madrid Graduate School Universidad Europea
  • Master AI Skills: Analyze, Build & Deploy Systems: EDUCBA
  • Developing Mobile Apps with React Native: IBM
  • Mastering Claude AI: Prompting, APIs, RAG, and MCP: Edureka
  • Introduction to Cybersecurity Tools & Cyberattacks: IBM
  • Science of Exercise: University of Colorado Boulder
  • Powering Up Your Power BI Skills: Packt
  • Power BI Developer: Edureka
  • Customer Analytics: University of Pennsylvania
  • User Experience Research and Design: University of Michigan

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