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

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    AI Technologies in Healthcare

    Skills you'll gain: Healthcare 5.0, Artificial Intelligence and Machine Learning (AI/ML), AI Enablement, Jupyter, LLM Application, Generative Model Architectures, AI Product Strategy, Model Evaluation, Multimodal Prompts, Health Systems, Health Information Management, Data Preprocessing, Data Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Assess Financial Deals & Manage Risk

    Skills you'll gain: Financial Modeling, Risk Management, Corporate Finance, Risk Analysis, Capital Budgeting, Financial Analysis, Financial Forecasting, Investment Management, Return On Investment, Due Diligence, Cash Flows, Communication, Presentations

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    L

    Lund University

    Circular Economy - Sustainable Materials Management

    Skills you'll gain: Sustainable Business, Sustainable Design, Sustainable Development, Environment and Resource Management, Environmental Engineering, Strategic Sourcing, Environmental Science, Supply Management, Social Impact, Environmental Policy, Business Analysis, Innovation, Stakeholder Engagement, Policy Analysis

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

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of London

    CSS: Web Page Layout - Usability and Accessibility

    Skills you'll gain: Responsive Web Design, Cascading Style Sheets (CSS), Web Content Accessibility Guidelines, HTML and CSS, Web Design, Frontend Performance, Usability, Web Design and Development, User Interface (UI), Usability Testing, Animations

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Software Product Management

    Skills you'll gain: Agile Software Development, Project Risk Management, Requirements Analysis, Agile Methodology, Kanban Principles, Risk Management, Project Planning, Requirements Elicitation, Sprint Retrospectives, Requirements Management, Functional Requirement, Business Requirements, Sprint Planning, Software Development Methodologies, Software Development Life Cycle, Scrum (Software Development), Software Technical Review, Risk Management Framework, Product Management, Project Management

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Marketing Mix Implementation

    Skills you'll gain: Product Lifecycle Management, Marketing Communications, Integrated Marketing Communications, Advertising, Marketing, Brand Strategy, Marketing Budgets, Strategic Decision-Making, Brand Management, Brand Marketing, Customer experience strategy (CX), Price Negotiation, Product Management, Marketing Strategies, Retail Management, Marketing Channel, Strategic Marketing, Product Strategy, Merchandising, Communication

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Deep Learning with Keras and Tensorflow

    Skills you'll gain: Keras (Neural Network Library), Reinforcement Learning, Convolutional Neural Networks, Unsupervised Learning, Deep Learning, Autoencoders, Tensorflow, Recurrent Neural Networks (RNNs), Machine Learning Methods, Generative AI, Generative Adversarial Networks (GANs), Transfer Learning, Artificial Neural Networks, Artificial Intelligence and Machine Learning (AI/ML), Computer Vision, Model Evaluation, Performance Tuning

    4.4
    Rating, 4.4 out of 5 stars
    ·
    1K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Data Analytics for Business

    Skills you'll gain: Data Governance, Data Management, Business Analytics, Analytics, Data Quality, Data Ethics, Data Analysis, Business Intelligence, Big Data, Organizational Structure, Data-Driven Decision-Making, Data Access, Relational Databases, SQL, Data Storage, Cloud Computing

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rutgers the State University of New Jersey

    Global Procurement and Sourcing

    Skills you'll gain: Strategic Sourcing, Supplier Management, Procurement, Supplier Relationship Management, Supplier Performance Management, Negotiation, Vendor Management, Contract Negotiation, Request For Quotation (RFQ), Case Studies, Stakeholder Management, Contract Management, Purchasing, Market Analysis, Request for Proposal, Competitive Analysis, Risk Management, Vendor Contracts, Supply Management, Business Ethics

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

    Beginner · Specialization · 3 - 6 Months

  • 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: Free Trial
    Free Trial
    G

    Google

    Discover the Art of Prompting

    Skills you'll gain: Prompt Engineering, Large Language Modeling, LLM Application, Model Evaluation, Content Creation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    2K reviews

    Beginner · Course · 1 - 4 Weeks

1…555657…566

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

  • Meta Marketing Analytics: Meta
  • AI Technologies in Healthcare: SkillUp
  • Assess Financial Deals & Manage Risk: Coursera
  • Circular Economy - Sustainable Materials Management: Lund University
  • CSS: Web Page Layout - Usability and Accessibility: University of London
  • Software Product Management: University of Alberta
  • Marketing Mix Implementation: IE Business School
  • Deep Learning with Keras and Tensorflow: IBM
  • Introduction to Data Analytics for Business: University of Colorado Boulder
  • Global Procurement and Sourcing: Rutgers the State University of New Jersey

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