• 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

    University of Illinois Urbana-Champaign

    Applying Data Analytics in Marketing

    Skills you'll gain: Marketing Analytics, AI Personalization, Advanced Analytics, Customer Retention, Analytics, Marketing Effectiveness, Predictive Modeling, Marketing, Data Analysis, Social Network Analysis, Customer Analysis, Data Ethics, Customer Insights, Market Analysis, Text Mining, Predictive Analytics, Marketing Strategy and Techniques, Digital Marketing, Machine Learning, Generative AI

    Build toward a degree

    4.5
    Rating, 4.5 out of 5 stars
    ·
    191 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    AI for Cybersecurity

    Skills you'll gain: Generative Adversarial Networks (GANs), Anomaly Detection, AI Security, Generative AI, Fraud detection, Intrusion Detection and Prevention, Model Evaluation, Malware Protection, Cyber Threat Hunting, Cybersecurity, Threat Detection, Cyber Threat Intelligence, Feature Engineering, Network Analysis, Cyber Attacks, Cyber Security Strategy, Applied Machine Learning, Email Security, Network Security, Jupyter

    4.3
    Rating, 4.3 out of 5 stars
    ·
    104 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    Universidade de São Paulo

    Consolidando empresas: Estrutura jurídica e financeira

    Skills you'll gain: Intellectual Property, Labor Law, Business Modeling, Tax Planning, Regulation and Legal Compliance, Business Valuation, Labor Compliance, Law, Regulation, and Compliance, Entrepreneurial Finance, Mergers & Acquisitions, Entrepreneurship, Corporate Tax, Business Management, Financial Modeling, Compliance Management, Financial Analysis, New Business Development, Investments, Growth Strategies, Tax Laws

    4.6
    Rating, 4.6 out of 5 stars
    ·
    487 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Lausanne

    Doping : Sports, Organizations and Sciences

    Skills you'll gain: Laboratory Testing, Analytical Testing, Biochemistry, Legal Proceedings, Pharmacology, Sports Medicine, Culture, Social Sciences, Sociology, Social Determinants Of Health, Law, Regulation, and Compliance, Ethical Standards And Conduct

    4.6
    Rating, 4.6 out of 5 stars
    ·
    370 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Financing for Startup Businesses

    Skills you'll gain: FinTech, Entrepreneurial Finance, Fundraising and Crowdsourcing, Financial Analysis, Financial Modeling, Finance, Private Equity, Financial Services, Credit Risk, Financial Forecasting, Microsoft Excel, Liquidation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    215 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Infonomics I: Business Information Economics and Data Monetization

    Skills you'll gain: Big Data, Network Model, Digital Assets, Business Intelligence, Information Management, Data Analysis, Asset Management, Business Analytics, Advanced Analytics, Business Valuation, Data Strategy, Data-Driven Decision-Making, Business Economics, Information Technology, Competitive Intelligence, Data Management, Innovation, Accounting

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    116 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    B

    Board Infinity

    Generative AI: Prompt Engineering Basics

    Skills you'll gain: Responsible AI, LLM Application, Model Evaluation, Scripting, Debugging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    54 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Business Analyst (ECBA) Certificate Preparation 

    Skills you'll gain: Business Analysis, Business Process Modeling, Stakeholder Analysis, Process Optimization, Requirements Management, Business Requirements, Stakeholder Management, Process Analysis, Data Modeling, Agile Methodology, Stakeholder Engagement, Requirements Analysis, Process Improvement, User Story, Project Management, Data Flow Diagrams (DFDs), Risk Management, Plan Execution, Project Planning, Needs Assessment

    4.7
    Rating, 4.7 out of 5 stars
    ·
    97 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    C

    Columbia University

    3D Reconstruction - Multiple Viewpoints

    Skills you'll gain: Image Analysis, Computer Graphics, 3D Modeling, Virtual Reality, Computer Vision, Visualization (Computer Graphics), Mathematical Modeling, Linear Algebra

    4.7
    Rating, 4.7 out of 5 stars
    ·
    42 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Administración financiera y su función en la empresa

    Skills you'll gain: Financial Statement Analysis, Financial Management, Corporate Finance, Performance Measurement, Financial Data, Capital Budgeting, Financial Analysis, Budgeting, Financial Modeling, Balance Sheet, Financial Policy, Cash Flows, Stakeholder Management, Governance, Working Capital, Return On Investment

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    SoFi

    Introduction to Personal Finance

    Skills you'll gain: Goal Setting, Budgeting, Tax, Financial Planning, Cash Flow Forecasting, Financial Analysis, Credit Risk, Expense Management, Asset Management, Decision Making, Self-Awareness

    4.6
    Rating, 4.6 out of 5 stars
    ·
    237 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universiteit Leiden

    Risk in Modern Society

    Skills you'll gain: Risk Management, Business Risk Management, Operational Risk, Risk Analysis, Safety and Security, Environmental Issue, Cyber Security Strategy, Decision Making, Public Health

    4.7
    Rating, 4.7 out of 5 stars
    ·
    227 reviews

    Beginner · Course · 1 - 3 Months

1…195196197…573

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

  • Applying Data Analytics in Marketing: University of Illinois Urbana-Champaign
  • AI for Cybersecurity: Johns Hopkins University
  • Consolidando empresas: Estrutura jurídica e financeira: Universidade de São Paulo
  • Doping : Sports, Organizations and Sciences: University of Lausanne
  • Financing for Startup Businesses: Duke University
  • Infonomics I: Business Information Economics and Data Monetization: University of Illinois Urbana-Champaign
  • Generative AI: Prompt Engineering Basics: Board Infinity
  • Business Analyst (ECBA) Certificate Preparation : SkillUp
  • 3D Reconstruction - Multiple Viewpoints: Columbia University
  • Administración financiera y su función en la empresa : Universidad Nacional Autónoma de México

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