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

    Arizona State University

    Managing Stress and Time

    Skills you'll gain: Stress Management, Time Management, Organizational Skills, Personal Development, Emotional Intelligence, Self-Awareness, Prioritization, Productivity

    4.5
    Rating, 4.5 out of 5 stars
    ·
    69 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    CertNexus

    Turn Ethical Frameworks into Actionable Steps

    Skills you'll gain: Data Ethics, Business Ethics, Strategic Thinking, Ethical Standards And Conduct, Regulatory Compliance, Analytical Skills, Responsible AI, Technology Strategies, Compliance Management, Decision Making, Business Analysis, Business Strategy, Artificial Intelligence, Information Privacy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    155 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Politecnico di Milano

    Platform Thinking: Innovation in digital business models era

    Skills you'll gain: Data Strategy, Business Modeling, Data Ethics, Design Thinking, Innovation, Customer Data Management, Augmented and Virtual Reality (AR/VR), Market Opportunities, Data Governance, Technology Strategies, Data Management, Data-Driven Decision-Making, Platform As A Service (PaaS), Product Development, Big Data, Customer Insights, Strategic Thinking, Systems Thinking, Digital Transformation, Business Transformation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    105 reviews

    Beginner · Specialization · 3 - 6 Months

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

    Coursera

    Data Science Beyond the Basics (ML+DS)

    Skills you'll gain: Generative AI, Model Evaluation, Supervised Learning, Generative Model Architectures, AWS SageMaker, Recurrent Neural Networks (RNNs), Unsupervised Learning, Data Preprocessing, Large Language Modeling, Time Series Analysis and Forecasting, LLM Application, Applied Machine Learning, Deep Learning, A/B Testing, Transfer Learning, Python Programming, Machine Learning, Data Analysis, AWS CloudFormation, AI Personalization

    4.2
    Rating, 4.2 out of 5 stars
    ·
    25 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Colorado Boulder

    مهارات العمل الجماعي: التواصل الفعّال في مجموعات

    Skills you'll gain: Teamwork, Conflict Management, Negotiation, Innovation, Team Building, Collaboration, Creativity, Interpersonal Communications, Diversity Awareness, Communication, Virtual Teams, Media and Communications, Cultural Diversity, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    385 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Flutter & Dart - Complete App Development Course

    Skills you'll gain: User Interface (UI) Design, Data Persistence, Interactive Data Visualization, Database Management, Real Time Data, Computer Programming, Data Management, Software Installation, Data Structures, Data Modeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    27 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Project Management - Initiation and Planning

    Skills you'll gain: Scope Management, Work Breakdown Structure, Project Scoping, Feasibility Studies, Project Management Life Cycle, Contract Management, Change Control, Project Management, Change Management, Claims Processing, Project Planning, Organizational Structure, Project Implementation, Bidding

    4.8
    Rating, 4.8 out of 5 stars
    ·
    35 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    MLOps Platforms: Amazon SageMaker and Azure ML

    Skills you'll gain: AWS SageMaker, MLOps (Machine Learning Operations), Microsoft Azure, Model Deployment, Exploratory Data Analysis, Data Pipelines, Amazon Web Services, Feature Engineering, Cloud Solutions, Model Evaluation, Data Preprocessing, Cloud Deployment, Data Analysis, Serverless Computing, Machine Learning, Python Programming

    3.6
    Rating, 3.6 out of 5 stars
    ·
    54 reviews

    Advanced · Course · 1 - 3 Months

  • P

    Packt

    The STATA OMNIBUS: Regression and Modelling with STATA

    Skills you'll gain: Stata, Regression Analysis, Statistical Modeling, Statistical Methods, Statistical Analysis, Data Visualization, Data Manipulation, Logistic Regression, Predictive Modeling, Statistical Hypothesis Testing, Model Evaluation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Geospatial Techniques for Engineers

    Skills you'll gain: Geospatial Information and Technology, Spatial Analysis, GIS Software, Spatial Data Analysis, Geographic Information Systems, Geospatial Mapping, Construction Engineering, Database Management, Construction, Construction Management, Architecture and Construction, Global Positioning Systems, Visualization (Computer Graphics), Civil and Architectural Engineering, Decision Support Systems, Building Information Modeling, Survey Creation, AutoCAD Civil 3D, Data Manipulation, Network Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    70 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Free
    Free
    C

    Coursera

    Data Science Challenge

    Skills you'll gain: Applied Machine Learning, Jupyter, Machine Learning Algorithms, Model Evaluation, Machine Learning, Predictive Modeling, Data Science, Python Programming, Predictive Analytics, Data Analysis, Technical Communication

    4.7
    Rating, 4.7 out of 5 stars
    ·
    204 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    C

    Coursera

    Real Estate Financial Modeling

    Skills you'll gain: Revenue Forecasting, Financial Modeling, Financial Forecasting, Real Estate, Forecasting, Cash Flow Forecasting, Commercial Real Estate, Risk Management, Property and Real Estate, Investment Management, Portfolio Management, Risk Analysis, Investments, Financial Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    64 reviews

    Beginner · Course · 1 - 4 Weeks

1…222223224…574

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

  • Managing Stress and Time: Arizona State University
  • Turn Ethical Frameworks into Actionable Steps: CertNexus
  • Platform Thinking: Innovation in digital business models era: Politecnico di Milano
  • Data Science Beyond the Basics (ML+DS): Coursera
  • مهارات العمل الجماعي: التواصل الفعّال في مجموعات: University of Colorado Boulder
  • Flutter & Dart - Complete App Development Course: Packt
  • Project Management - Initiation and Planning: L&T EduTech
  • MLOps Platforms: Amazon SageMaker and Azure ML: Duke University
  • The STATA OMNIBUS: Regression and Modelling with STATA: Packt
  • Geospatial Techniques for Engineers: L&T EduTech

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