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

    MathWorks

    Practical Data Science with MATLAB

    Skills you'll gain: Data Storytelling, Model Evaluation, Feature Engineering, Supervised Learning, Dimensionality Reduction, Data Visualization, Data Integration, Data Preprocessing, Interactive Data Visualization, Exploratory Data Analysis, Data Import/Export, Classification Algorithms, Technical Communication, Data Analysis, Plot (Graphics), Applied Machine Learning, Data Visualization Software, Matlab, Regression Analysis, Data Science

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Entrepreneurship I: Laying the Foundation

    Skills you'll gain: Entrepreneurship, Value Propositions, Fundraising and Crowdsourcing, Business Development, Business Modeling, Market Opportunities, Team Building, Market Analysis, Strategic Planning, Resource Management, Customer Analysis, Leadership

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Michigan State University

    Photography Techniques: Light, Content, and Sharing

    Skills you'll gain: Photography, Photo Editing, Image Quality, Peer Review, Digital Publishing, Creativity, Information Privacy, Web Design and Development

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    Trustworthy Generative AI

    Skills you'll gain: Prompt Engineering, ChatGPT, Ideation, Verification And Validation, Responsible AI, Generative AI, Creativity, Risk Management Framework, Artificial Intelligence, Problem Solving

    4.8
    Rating, 4.8 out of 5 stars
    ·
    921 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Spreadsheets for Beginners using Google Sheets

    Skills you'll gain: Spreadsheet Software, Google Sheets, Microsoft Excel, Data Visualization, Excel Formulas, Data Presentation, Data Entry, Data Analysis, Data Modeling

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

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Infectious Disease Modelling

    Skills you'll gain: Epidemiology, Mathematical Modeling, Statistical Modeling, Simulations, Risk Modeling, Infectious Diseases, Public Health, Model Evaluation, Predictive Modeling, R Programming, Differential Equations, Data Modeling, Statistical Methods, Probability Distribution

    4.8
    Rating, 4.8 out of 5 stars
    ·
    296 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Software Architecture

    Skills you'll gain: Software Architecture, Unified Modeling Language, Software Design, Product Family Engineering, Software Systems, Software Development, Software Documentation, Software Design Patterns, Middleware, Maintainability, Application Deployment, Scalability, Databases

    4.5
    Rating, 4.5 out of 5 stars
    ·
    938 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    L

    Lund University

    Digital Business Models

    Skills you'll gain: Business Modeling, Digital Transformation, Innovation, Business Process, Software Development, Network Analysis, Business Strategy, E-Commerce, Strategic Thinking, Value Propositions, Apple iOS, Decision Making, Case Studies, Amazon Web Services

    4.6
    Rating, 4.6 out of 5 stars
    ·
    570 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Introduction to Business Analytics and Information Economics

    Skills you'll gain: Business Analytics, Analytics, Data Analysis, Business Intelligence, Analytical Skills, Big Data, Asset Management, Business Analysis, Advanced Analytics, Feasibility Studies, Business Modeling, Data-Driven Decision-Making, Trend Analysis, Intellectual Property, Data Quality, Information Management, Network Model, Data Strategy, Data Literacy, Digital Assets

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    410 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Decentralized Finance (DeFi) Infrastructure

    Skills you'll gain: Blockchain, FinTech, Interoperability, Payment Systems, Financial Inclusion, Emerging Technologies, Financial Systems, Cryptography, Digital Assets, Financial Regulation, Banking, Transaction Processing, Data Integrity, Computer Security, Governance

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

    Beginner · Course · 1 - 4 Weeks

  • 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: Free Trial
    Free Trial
    I

    Imperial College London

    TensorFlow 2 for Deep Learning

    Skills you'll gain: Tensorflow, Recurrent Neural Networks (RNNs), Autoencoders, Generative Model Architectures, Data Pipelines, Keras (Neural Network Library), Model Evaluation, Deep Learning, Image Analysis, Transfer Learning, Convolutional Neural Networks, Applied Machine Learning, Bayesian Statistics, Supervised Learning, Natural Language Processing, Computer Vision, Model Deployment, Artificial Neural Networks, Data Preprocessing, Probability Distribution

    4.8
    Rating, 4.8 out of 5 stars
    ·
    720 reviews

    Intermediate · Specialization · 3 - 6 Months

1…124125126…569

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

  • Practical Data Science with MATLAB: MathWorks
  • Entrepreneurship I: Laying the Foundation: University of Illinois Urbana-Champaign
  • Photography Techniques: Light, Content, and Sharing: Michigan State University
  • Trustworthy Generative AI: Vanderbilt University
  • Spreadsheets for Beginners using Google Sheets: Coursera
  • Infectious Disease Modelling: Imperial College London
  • Software Architecture: University of Alberta
  • Digital Business Models: Lund University
  • Introduction to Business Analytics and Information Economics: University of Illinois Urbana-Champaign
  • Decentralized Finance (DeFi) Infrastructure: Duke 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