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

    MathWorks

    Advanced Deep Learning Techniques for Computer Vision

    Skills you'll gain: Model Deployment, Anomaly Detection, Image Analysis, Computer Vision, Matlab, Deep Learning, Applied Machine Learning, PyTorch (Machine Learning Library), Transfer Learning, Data Synthesis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    15 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Starweaver

    Business Analysis Mastery: Planning, Skills, and Perspective

    Skills you'll gain: Stakeholder Engagement, Business Analysis, Business Intelligence, Business Process, Business Planning, Stakeholder Analysis, Business Process Management, Requirements Elicitation, Analysis, Information Technology, Agile Methodology, Planning, Governance, Information Management, Adaptability

    4.7
    Rating, 4.7 out of 5 stars
    ·
    85 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Amazon Web Services

    Amazon Bedrock Customization, Optimization & Automation

    Skills you'll gain: Amazon Bedrock, LangChain, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), Applied Machine Learning, Prompt Engineering, Transfer Learning, AI Workflows, Model Evaluation, Data Processing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Principles of Leadership: Leading Technical Organizations

    Skills you'll gain: Accountability, Executive Presence, Decision Making, Conflict Management, Business Ethics, Succession Planning, Technical Management, Risk Management, Team Management, Organizational Structure, Stakeholder Management, Diversity and Inclusion, Delegation Skills, Professional Networking, Strategic Leadership, Relationship Building, Culture Transformation, Business Strategy, Organizational Leadership, Leadership

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    34 reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    JavaScript Essentials For Beginners

    Skills you'll gain: Javascript, Event-Driven Programming, Web Design and Development, Web Applications, Interaction Design, Scripting, Web Development, Data Validation

    3.8
    Rating, 3.8 out of 5 stars
    ·
    26 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    F

    Fundação Instituto de Administração

    Machine Learning Aplicado ao Marketing

    Skills you'll gain: Big Data, Data Mining, Data-Driven Decision-Making, Marketing Automation, Marketing Strategies, Customer experience strategy (CX), Digital Transformation, Marketing Analytics, Ggplot2, Marketing, Data Visualization Software, Plot (Graphics), Data Modeling, R Programming, Analytics, Data Science, Data Analysis, Innovation, Business Analytics, Data Manipulation

    4.2
    Rating, 4.2 out of 5 stars
    ·
    60 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Y

    Yonsei University

    Applying Investment Decision Rules for Startups

    Skills you'll gain: Capital Budgeting, Financial Analysis, Cost Benefit Analysis, Return On Investment, Investment Management, Financial Modeling, Cash Flows, Project Finance, Project Estimation, Decision Making, Depreciation, Microsoft Excel

    4.6
    Rating, 4.6 out of 5 stars
    ·
    87 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Geneva

    Global Statistics - Composite Indices for International Comparisons

    Skills you'll gain: Data Synthesis, Analytical Skills, International Relations, Economic Development, Statistics, Economics, Market Opportunities, Data Analysis, Labor Compliance, Social Studies, Data Quality, Transportation Operations

    4.6
    Rating, 4.6 out of 5 stars
    ·
    49 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Material Jetting and Stereolithography

    Skills you'll gain: Manufacturing Processes, Materials science, Process Engineering, Manufacturing Operations, Production Process, Equipment Design, Laboratory Experience, Experimentation, Prototyping, Process Development, Analytical Testing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Introduction to AI and Technology in Sports

    Skills you'll gain: Sports Medicine, Analytics, Artificial Intelligence, AI Enablement, Data Analysis Software, Data Analysis, Deep Learning, Real Time Data, Machine Learning, Data Ethics, Health Technology, AI Security, Responsible AI, Large Language Modeling, Technology Solutions, Scikit Learn (Machine Learning Library), Technology Strategies, Statistical Methods, Natural Language Processing, Performance Appraisal

    4.6
    Rating, 4.6 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Project Management: How to Create a Gantt Chart in Wrike

    Skills you'll gain: Timelines, Organizational Skills, Scheduling, Project Coordination, Milestones (Project Management), Time Management, Project Management Software, Project Management, Delegation Skills, Data Visualization, Team Management, Dependency Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    38 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    C

    Codio

    C++: Data Structures and Algorithms

    Skills you'll gain: Computational Thinking, Algorithms, Graph Theory, Data Structures, C++ (Programming Language), C and C++, Programming Principles, Computer Programming, Object Oriented Programming (OOP), Technical Design, Theoretical Computer Science

    4.6
    Rating, 4.6 out of 5 stars
    ·
    16 reviews

    Intermediate · Specialization · 1 - 3 Months

1…284285286…580

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

  • Advanced Deep Learning Techniques for Computer Vision: MathWorks
  • Business Analysis Mastery: Planning, Skills, and Perspective: Starweaver
  • Amazon Bedrock Customization, Optimization & Automation: Amazon Web Services
  • Principles of Leadership: Leading Technical Organizations: University of Colorado Boulder
  • JavaScript Essentials For Beginners : Coursera
  • Machine Learning Aplicado ao Marketing: Fundação Instituto de Administração
  • Applying Investment Decision Rules for Startups: Yonsei University
  • Global Statistics - Composite Indices for International Comparisons: University of Geneva
  • Material Jetting and Stereolithography: Arizona State University
  • Introduction to AI and Technology in Sports: Real Madrid Graduate School Universidad Europea

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