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

    Georgia Institute of Technology

    Mechanics of Materials I: Fundamentals of Stress & Strain and Axial Loading

    Skills you'll gain: Structural Analysis, Mechanical Engineering, Failure Analysis, Engineering Analysis, Mechanics, Materials science, Engineering Calculations, Civil Engineering, Mathematical Modeling, Trigonometry

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

    Mixed · Course · 1 - 3 Months

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

    Coursera

    Build Dynamic No-Code Apps

    Skills you'll gain: No-Code Development, User Centered Design, Mobile Development, Web Applications, User Interface (UI) Design, Experience Design, UI/UX Research, User Feedback, Functional Testing, Integration Testing, Root Cause Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Máximo rendimiento y tecnología en el deporte

    Skills you'll gain: Data Literacy, Technical Communication, Probability & Statistics, Web Scraping, Data Import/Export, JSON, Data Integration, Statistical Analysis, Pandas (Python Package), Image Analysis, Advanced Analytics, Analytical Skills, Analysis, Data-Driven Decision-Making, Case Studies, Data Manipulation, AI Enablement, Descriptive Statistics, Statistical Inference, Unsupervised Learning

    Beginner · Specialization · 3 - 6 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
    S

    Sungkyunkwan University

    Machine Learning Basics

    Skills you'll gain: Machine Learning, Python Programming, Supervised Learning, Model Evaluation, Scikit Learn (Machine Learning Library), Logistic Regression, Applied Machine Learning, Regression Analysis, Classification Algorithms, Statistical Methods, Linear Algebra

    4.4
    Rating, 4.4 out of 5 stars
    ·
    91 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    L

    Logical Operations

    Microsoft Excel: Data Analysis with Power Pivot

    Skills you'll gain: Key Performance Indicators (KPIs), Microsoft Excel, Data Integration, Performance Measurement, Pivot Tables And Charts, Data Visualization Software, Spreadsheet Software, Cloud-Based Integration, Time Series Analysis and Forecasting, Data Analysis, Microsoft Power Platform, Data Modeling, Business Intelligence, Data Manipulation, Microsoft 365, Microsoft Office, Productivity Software

    Mixed · Course · 1 - 4 Weeks

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

    Università Bocconi

    International Leadership and Organizational Behavior

    Skills you'll gain: Conflict Management, Team Motivation, Intercultural Competence, Professional Networking, Organizational Leadership, Cultural Diversity, Cultural Sensitivity, Cross-Functional Team Leadership, Communication, Leadership, Team Management, Ethical Standards And Conduct, Decision Making

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Birla Institute of Technology & Science, Pilani

    Basic Engineering Mathematics

    Skills you'll gain: Engineering Calculations, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Algebra

    4.6
    Rating, 4.6 out of 5 stars
    ·
    182 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    FinTech: Foundations, Payments, and Regulations

    Skills you'll gain: FinTech, Credit/Debit Card Processing, Financial Services, Payment Processing, Technology Strategies, Investments, Asset Management, Wealth Management, Environmental Social And Corporate Governance (ESG), Financial Regulations, Entrepreneurial Finance, Innovation, Consumer Behaviour

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Virginia

    Managing an Agile Team

    Skills you'll gain: Agile Software Development, Agile Methodology, Agile Project Management, Team Performance Management, Team Management, Team Building, Team Leadership, Sprint Retrospectives, Backlogs, Kanban Principles, Sales Presentation, Innovation, Lean Methodologies, Process Improvement, Selling Techniques, Prioritization, Discussion Facilitation, Goal Setting

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

    Mixed · Course · 1 - 4 Weeks

1…858687…566

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

  • Mechanics of Materials I: Fundamentals of Stress & Strain and Axial Loading: Georgia Institute of Technology
  • Build Dynamic No-Code Apps: Coursera
  • Máximo rendimiento y tecnología en el deporte: Real Madrid Graduate School Universidad Europea
  • Aspiring CIO & CISO: Leadership Development Guide: Packt
  • Machine Learning Basics: Sungkyunkwan University
  • Microsoft Excel: Data Analysis with Power Pivot: Logical Operations
  • Accounting Data Analytics: University of Illinois Urbana-Champaign
  • Psychology of Popularity: The University of North Carolina at Chapel Hill
  • International Leadership and Organizational Behavior: Università Bocconi
  • Basic Engineering Mathematics: Birla Institute of Technology & Science, Pilani

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