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

    Edureka

    Autonomous AI Agent Systems and Orchestration

    Skills you'll gain: LangGraph, AI Orchestration, Model Deployment, Retrieval-Augmented Generation, AI Workflows, Generative AI Agents, CrewAI, Agentic Workflows, LangChain, Artificial Intelligence and Machine Learning (AI/ML), LLM Application, Agentic systems, OpenAI, Systems Integration, Tool Calling, Google Gemini, Workflow Management, Automation, Prompt Engineering, Responsible AI

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Business English for Non-Native Speakers

    Skills you'll gain: Business Writing, Sales Presentation, Business Correspondence, Interviewing Skills, Business Communication, Case Studies, Business Ethics, Data Visualization, Oral Expression, Presentations, Target Audience, Report Writing, Writing, English Language, Business Analysis, Analysis, Communication Strategies, Verbal Communication Skills, Intercultural Competence, Communication

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Web Application Technologies and Django

    Skills you'll gain: Model View Controller, Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), Linux Commands, Application Deployment, Django (Web Framework), Cloud Deployment, Web Applications, Web Servers, SQL, Database Management, Python Programming

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

    Intermediate · Course · 1 - 3 Months

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

    CertNexus

    CFR: Security Assessment, Data Collection, and Log Analysis

    Skills you'll gain: Vulnerability Management, Security Information and Event Management (SIEM), Penetration Testing, Vulnerability Assessments, Cybersecurity, Intelligence Collection and Analysis, Vulnerability Scanning, Cyber Attacks, Network Security, Information Systems Security, Computer Security, Analysis, Network Analysis, Auditing, Data Analysis, Linux Commands, Data Collection, Correlation Analysis, Bash (Scripting Language), Windows PowerShell

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Design of General Utility Systems

    Skills you'll gain: Energy and Utilities, Process Engineering, Plant Operations and Management, Electrical Systems, Process Control, Water Quality, Control Systems, Engineering Design Process, Construction Engineering, Materials science

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Linear Algebra from Elementary to Advanced

    Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Advanced Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Modeling, Engineering Analysis, Mathematical Theory & Analysis, Numerical Analysis, Geometry, Data Transformation, Applied Machine Learning, Dimensionality Reduction, Markov Model, Probability

    4.7
    Rating, 4.7 out of 5 stars
    ·
    218 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Essentials of Entrepreneurship: Thinking & Action

    Skills you'll gain: Business Planning, Feasibility Studies, Entrepreneurship, Market Opportunities, Innovation, New Business Development, Business Strategies, Ideation, Business Process, Financial Analysis, Business Operations, Marketing

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

    Mixed · Course · 1 - 4 Weeks

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

    Creo Incubator

    Introverted Entrepreneurship for Leaders Success

    Skills you'll gain: Self-Awareness, Professional Networking, Relationship Building, Strategic Communication, Personal Development, Decision Making, Communication, Entrepreneurship, Initiative and Leadership, Leadership Development, Assertiveness, Leadership

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Beginners Guide to C# Fundamentals

    Skills you'll gain: Debugging, Event-Driven Programming, Version Control, Application Deployment, Microsoft Copilot, C# (Programming Language), Git (Version Control System), Object Oriented Programming (OOP), Software Design Patterns, Software Architecture, .NET Framework, Microsoft Visual Studio, Development Testing, Software Design, Software Testing, Program Development, Data Validation, Microsoft Development Tools, Security Testing, Software Development Tools

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Fitting Statistical Models to Data with Python

    Skills you'll gain: Statistical Modeling, Statistical Methods, Bayesian Statistics, Statistical Inference, Statistical Software, Model Evaluation, Statistical Analysis, Statistical Programming, Statistical Machine Learning, Regression Analysis, Predictive Modeling, Jupyter, Logistic Regression, Python Programming, Data Visualization Software

    4.4
    Rating, 4.4 out of 5 stars
    ·
    714 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    Northwestern University

    Organizational Leadership

    Skills you'll gain: Influencing, Persuasive Communication, Design Thinking, Data-Driven Decision-Making, Leadership, Strategic Communication, Innovation, Collaboration, Crisis Management, Negotiation, Organizational Leadership, Ideation, Team Leadership, Resource Allocation, Human Centered Design, Teamwork, Motivational Skills, Corporate Communications, Marketing Strategies, Marketing

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    The Nuts and Bolts of Machine Learning

    Skills you'll gain: Feature Engineering, Model Evaluation, Advanced Analytics, Statistical Machine Learning, Unsupervised Learning, Machine Learning, Data Ethics, Supervised Learning, Decision Tree Learning, Random Forest Algorithm, Classification Algorithms, Python Programming, Performance Tuning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    594 reviews

    Advanced · Course · 1 - 3 Months

1…106107108…566

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

  • Autonomous AI Agent Systems and Orchestration: Edureka
  • Business English for Non-Native Speakers: The Hong Kong University of Science and Technology
  • Web Application Technologies and Django: University of Michigan
  • CFR: Security Assessment, Data Collection, and Log Analysis: CertNexus
  • Design of General Utility Systems: L&T EduTech
  • Linear Algebra from Elementary to Advanced: Johns Hopkins University
  • Essentials of Entrepreneurship: Thinking & Action: University of California, Irvine
  • Introverted Entrepreneurship for Leaders Success: Creo Incubator
  • Beginners Guide to C# Fundamentals: Microsoft
  • Fitting Statistical Models to Data with Python: 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