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

    Coursera

    Engineer Features and Evaluate Models for Production

    Skills you'll gain: MLOps (Machine Learning Operations), Feature Engineering, Model Evaluation, Data Preprocessing, Performance Analysis, Performance Tuning, Predictive Modeling, Data Pipelines, Data Transformation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    I

    IIMA - IIM Ahmedabad

    Pre-MBA Statistics

    Skills you'll gain: Sampling (Statistics), Probability, Probability & Statistics, Statistical Hypothesis Testing, Statistics, Data Literacy, Statistical Visualization, Probability Distribution, Statistical Methods, Statistical Inference, Estimation, Descriptive Statistics, Sample Size Determination, Data Analysis, Data Science

    4.6
    Rating, 4.6 out of 5 stars
    ·
    294 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Master Automobile Budgeting: Analyze Financial Performance

    Skills you'll gain: Financial Data, Revenue Forecasting, Trend Analysis, Financial Analysis, Business Acumen, Budgeting, Financial Modeling, Performance Analysis, Cost Management, Financial Forecasting, Financial Statements, Variance Analysis, Operating Cost, Gross Profit

    Mixed · Course · 1 - 4 Weeks

  • 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: Preview
    Preview
    U

    Universidad de Palermo

    Inteligencia Artificial Aplicada a la Construcción

    Skills you'll gain: Civil Engineering, Sustainable Architecture, Building Design, Innovation, Sustainable Design, Structural Engineering, Robotics, 3D Modeling

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidad Austral

    Excel aplicado a los negocios (Nivel Avanzado)

    Skills you'll gain: Excel Macros, Microsoft Excel, Excel Formulas, Data Validation, Data Import/Export, Process Optimization, Business Analysis, Microsoft Access, Data Analysis Software, Business Modeling

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

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    A

    AI CERTs

    Prompt Engineering Mastery

    Skills you'll gain: Prompt Engineering, Prompt Engineering Tools, Prompt Patterns, Responsible AI, OpenAI, LLM Application, Generative AI, LangChain, Generative AI Agents, ChatGPT, Vibe coding, Natural Language Processing, Artificial Intelligence, AI Personalization, Debugging, Ideation, Productivity, Code Review, Computer Programming Tools, Ethical Standards And Conduct

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Master Financial Modeling with Excel & AI: Analyze Forecast

    Skills you'll gain: Financial Modeling, Financial Forecasting, Financial Statements, Depreciation, Balance Sheet, Capital Budgeting, Financial Analysis, Excel Formulas, Income Statement, Microsoft Excel, Risk Analysis, Data Storytelling, Data Validation, Cash Flows, Data Presentation, Return On Investment, Pivot Tables And Charts

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Using Databases with Python

    Skills you'll gain: Database Design, Relational Databases, SQL, Databases, Data Visualization Software, Web Scraping, Data Modeling, Object Oriented Programming (OOP), Data Processing, Geographic Information Systems, Python Programming, Application Programming Interface (API)

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    New York University

    Introduction to Cyber Security

    Skills you'll gain: Security Engineering, Authentications, Threat Modeling, Network Security, Public Key Infrastructure, Distributed Denial-Of-Service (DDoS) Attacks, Firewall, Cyber Attacks, Cryptography, Infrastructure Security, Cybersecurity, Cyber Security Strategy, Data Encryption Standard, Cyber Risk, Mobile Security, Enterprise Security, Computer Security, Application Security, Threat Detection, Cyber Security Policies

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

    Beginner · Specialization · 3 - 6 Months

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

    Coursera

    Optimize Accounting: Streamline Processes, Boost Efficiency

    Skills you'll gain: Process Mapping, Process Analysis, Business Workflow Analysis, Process Improvement and Optimization, Business Process Improvement, Business Process, Process Improvement, Process Flow Diagrams, Business Process Modeling, Process Optimization, Operational Efficiency, Workflow Management, Performance Measurement, Key Performance Indicators (KPIs)

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Software Development Lifecycle

    Skills you'll gain: User Story, Agile Software Development, Software Design Patterns, Design Thinking, Software Development Methodologies, Software Design, Agile Methodology, Agile Project Management, Process Mapping, Software Engineering, Kanban Principles, Software Development Life Cycle, Software Quality Assurance, Program Development, Application Security, Scrum (Software Development), Object Oriented Design, Software Architecture, User Experience Design, Software Quality (SQA/SQC)

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

    Intermediate · Specialization · 3 - 6 Months

1…474849…563

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

  • Engineer Features and Evaluate Models for Production: Coursera
  • Pre-MBA Statistics: IIMA - IIM Ahmedabad
  • Master Automobile Budgeting: Analyze Financial Performance: EDUCBA
  • Web Application Technologies and Django: University of Michigan
  • Inteligencia Artificial Aplicada a la Construcción: Universidad de Palermo
  • Excel aplicado a los negocios (Nivel Avanzado): Universidad Austral
  • Prompt Engineering Mastery: AI CERTs
  • Master Financial Modeling with Excel & AI: Analyze Forecast: EDUCBA
  • Using Databases with Python: University of Michigan
  • Introduction to Cyber Security: New York University

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