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

  • Status: Free Trial
    Free Trial
    H

    HRCI

    Learning and Development

    Skills you'll gain: Training and Development, Training Programs, Employee Training, Developing Training Materials, Adult Education, Employee Engagement, Compliance Training, Instructional Design, Workforce Development, On-The-Job Training, Needs Assessment, Program Evaluation, Professional Development, Learning Styles

    4.8
    Rating, 4.8 out of 5 stars
    ·
    813 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    A

    Alex Genadinik

    LLM SEO, GEO, AEO: Get Traffic From ChatGPT And Other AI SEO

    Skills you'll gain: Google Gemini, Search Engine Optimization, Anthropic Claude, Large Language Modeling, Generative AI, ChatGPT, Prompt Engineering, Web Analytics and SEO, Keyword Research, Artificial Intelligence, Content Creation, Content Strategy, Product Promotion, Brand Strategy

    Mixed · Course · 1 - 3 Months

1…104105106…567

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

  • 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
  • Organizational Leadership: Northwestern University
  • The Nuts and Bolts of Machine Learning: Google

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