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

    École Polytechnique Fédérale de Lausanne

    Digital Signal Processing

    Skills you'll gain: Digital Signal Processing, Digital Communications, Communication Systems, Image Analysis, Telecommunications, Electrical and Computer Engineering, Electrical Engineering, Embedded Systems, Electronic Systems, Engineering Analysis, Electronics, Programming Principles, Numerical Analysis, Algorithms, Linear Algebra, Mathematical Modeling, Time Series Analysis and Forecasting, Data Mapping, Real Time Data, Computer Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    798 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Inferential and Predictive Statistics for Business

    Skills you'll gain: Statistical Hypothesis Testing, Statistical Inference, Business Analytics, Statistical Analysis, Analytics, Microsoft Excel, Statistical Modeling, Probability & Statistics, Statistical Methods, Predictive Analytics, Data-Driven Decision-Making, Regression Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    871 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Accounting Operations & Automation

    Skills you'll gain: Cash Flow Forecasting, Variance Analysis, Bookkeeping, Reconciliation, QuickBooks (Accounting Software), Invoicing, Cash Flows, Financial Analysis, Auditing, Process Optimization, Document Management, Microsoft Excel, Data Transformation, Financial Reporting, Compliance Reporting, Compliance Management, AI Enablement, Automation, Data Validation, Process Engineering

    Intermediate · Specialization · 3 - 6 Months

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

    Microsoft

    Advanced DAX and Performance Optimization

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Performance Tuning, Performance Analysis, Microsoft Excel, Time Series Analysis and Forecasting, Microsoft Copilot, Business Intelligence, Data Modeling, Data Manipulation, Business Metrics, Interactive Data Visualization

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Aspiring CIO & CISO: Leadership Development Guide

    Skills you'll gain: Risk Management, Leadership Development, Crisis Management, Stakeholder Management, Interviewing Skills, Personal Development, Leadership, Strategic Partnership, Professional Networking, Leadership and Management, Branding, Business Leadership, Cybersecurity, Strategic Leadership, Business Planning, IT Management, Strategic Thinking, Communication Planning

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universidade Estadual de Campinas

    Revisão Sistemática e Meta-análise

    Skills you'll gain: Data Synthesis, Data Collection, Scientific Methods, Research, Research Design, Research Reports, Research Methodologies, General Science and Research, Quantitative Research, Clinical Research, Peer Review, Report Writing, Data Quality, Statistical Analysis, Qualitative Research, Risk Analysis

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Accounting Data Analytics

    Skills you'll gain: Machine Learning Algorithms, Model Evaluation, Data Visualization, Matplotlib, Data Literacy, Tableau Software, Data Presentation, Data Visualization Software, Data Preprocessing, Unsupervised Learning, Exploratory Data Analysis, Pandas (Python Package), Scikit Learn (Machine Learning Library), Seaborn, Classification Algorithms, Excel Macros, SQL, Predictive Modeling, Machine Learning, Python Programming

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    576 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The University of North Carolina at Chapel Hill

    Psychology of Popularity

    Skills you'll gain: Human Development, Psychology, Social Sciences, Behavioral Health, Mental Health, Sociology, Child Development, Biology, Scientific Methods, Research

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

    Beginner · Course · 1 - 3 Months

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

    Coursera

    Secure AI: Red-Teaming & Safety Filters

    Skills you'll gain: AI Security, LLM Application, Cyber Security Assessment, Large Language Modeling, Continuous Monitoring, Security Testing, Responsible AI, Threat Modeling, Vulnerability Assessments, Prompt Engineering, Security Controls, Penetration Testing, Vulnerability Scanning, Security Strategy, AI Personalization, Scenario Testing, System Implementation

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    HTML, CSS, and JavaScript Basics with Simple Projects

    Skills you'll gain: Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), User Interface (UI), User Experience Design, Web Design and Development, Development Environment, Front-End Web Development, Javascript, Web Development, Web Applications, Responsive Web Design, Microsoft Visual Studio, Real Time Data, Data Validation

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Y

    Yonsei University

    Emerging Technologies: From Smartphones to IoT to Big Data

    Skills you'll gain: Apache Spark, Augmented Reality, Cloud Computing Architecture, Big Data, Wireless Networks, SPSS, Augmented and Virtual Reality (AR/VR), Cloud Computing, Internet Of Things, Analytics, Real Time Data, Apache Hadoop, Telecommunications, Local Area Networks, Multimedia, Emerging Technologies, Apple iOS, Market Analysis, Display Devices, Product Planning

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

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    P

    Packt

    Mastering ISO 27001 Controls: Implementation and Auditing

    Skills you'll gain: ISO/IEC 27001, Auditing, Audit Planning, Security Controls, Security Management, Information Systems Security, Information Assurance, Risk Management, Risk Management Framework, Security Strategy, Security Requirements Analysis, Identity and Access Management, Security Awareness, Information Technology

    Intermediate · Course · 1 - 3 Months

1…818283…566

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

  • Digital Signal Processing: École Polytechnique Fédérale de Lausanne
  • Inferential and Predictive Statistics for Business: University of Illinois Urbana-Champaign
  • Accounting Operations & Automation: Coursera
  • Advanced DAX and Performance Optimization: Microsoft
  • Aspiring CIO & CISO: Leadership Development Guide: Packt
  • Revisão Sistemática e Meta-análise: Universidade Estadual de Campinas
  • Accounting Data Analytics: University of Illinois Urbana-Champaign
  • Psychology of Popularity: The University of North Carolina at Chapel Hill
  • Secure AI: Red-Teaming & Safety Filters: Coursera
  • HTML, CSS, and JavaScript Basics with Simple Projects: Packt

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