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

    University of Illinois Urbana-Champaign

    3D Printing Applications

    Skills you'll gain: Design Thinking, Intellectual Property, 3D Modeling, Social Impact, Manufacturing and Production, Product Design, Manufacturing Processes, Prototyping, Education and Training, Entrepreneurship

    4.6
    Rating, 4.6 out of 5 stars
    ·
    687 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Chip based VLSI design for Industrial Applications

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronic Systems, Hardware Design, Application Specific Integrated Circuits, Electronics Engineering, Serial Peripheral Interface, Computational Logic, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Electronic Hardware, Electronics, Electronic Components, Internet Of Things, Embedded Systems, Theoretical Computer Science, Electrical and Computer Engineering, Diagram Design, Programmable Logic Controllers

    4.5
    Rating, 4.5 out of 5 stars
    ·
    167 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Create Machine Learning Models in Microsoft Azure

    Skills you'll gain: Model Deployment, Transfer Learning, Exploratory Data Analysis, Deep Learning, Microsoft Azure, Databricks, Data Visualization, PyTorch (Machine Learning Library), Data Science, MLOps (Machine Learning Operations), Applied Machine Learning, Scikit Learn (Machine Learning Library), Pandas (Python Package), Artificial Intelligence and Machine Learning (AI/ML), Predictive Modeling, Unsupervised Learning, Tensorflow, Convolutional Neural Networks, Regression Analysis, Machine Learning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    326 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Supply Chain Planning

    Skills you'll gain: Supply Chain Planning, Demand Planning, Customer Demand Planning, Supply Chain Management, Supply Chain, Capacity Planning, Production Planning, Materials Management, Forecasting, Performance Measurement, Microsoft Excel, Data-Driven Decision-Making, Statistical Methods, Key Performance Indicators (KPIs), Data Analysis, Regression Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    315 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Linear Regression in R for Public Health

    Skills you'll gain: Correlation Analysis, Regression Analysis, Data Analysis, R Programming, Descriptive Statistics, Statistical Modeling, R (Software), Exploratory Data Analysis, Model Evaluation, Statistical Analysis, Probability & Statistics, Biostatistics, Data Import/Export

    4.8
    Rating, 4.8 out of 5 stars
    ·
    527 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SAP

    Understanding the Enterprise Systems Environment

    Skills you'll gain: Digital Transformation, Cloud Computing Architecture, SAP S/4HANA, Cloud Computing, System Design and Implementation, SAP Applications, Cybersecurity, ABAP RESTful Programming Model (RAP), Software As A Service, Enterprise Architecture, Enterprise Resource Planning, Analytics, Business Technologies, Customer experience strategy (CX), Data Science, Microservices, Business Analysis, Application Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    233 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Geneva

    Chemical Biology

    Skills you'll gain: Biochemistry, Molecular Biology, Cell Biology, Chemistry, Biotechnology, Laboratory Research, Laboratory Techniques, Scientific Visualization, Biology, Specimen Labeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    167 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    U

    University of Copenhagen

    Constitutional Struggles in the Muslim World

    Skills you'll gain: Political Sciences, Social Sciences, Cultural Diversity, International Relations, Governance, World History, Policy Analysis, Sociology, Civil Law, Socioeconomics, Economics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    712 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    ESSEC Business School

    Animer une séance collaborative

    Skills you'll gain: Meeting Facilitation, Collaboration, Organizational Skills, Drive Engagement, Teamwork, Innovation, Conflict Management, Decision Making

    4.5
    Rating, 4.5 out of 5 stars
    ·
    564 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Decentralized Applications (Dapps)

    Skills you'll gain: Blockchain, Test Driven Development (TDD), Development Testing, Application Development, Integrated Development Environments, Web Development Tools, Software Architecture, Web Applications, Application Programming Interface (API), Software Development Tools, Software Design Patterns, Command-Line Interface

    4.5
    Rating, 4.5 out of 5 stars
    ·
    1.2K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Emory University

    Health in Complex Humanitarian Emergencies

    Skills you'll gain: Public Health, Epidemiology, Community Health, Nutrition and Diet, Emergency Response, Sanitation, Health Promotion, Social and Human Services, Water Resources, Infectious Diseases, Health Administration, Mental Health, Data Collection

    4.8
    Rating, 4.8 out of 5 stars
    ·
    366 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Concurrent Programming in Java

    Skills you'll gain: Java Programming, Java, Data Structures, System Programming, Programming Principles, Debugging, Algorithms, Performance Testing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    664 reviews

    Intermediate · Course · 1 - 3 Months

1…180181182…569

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

  • 3D Printing Applications: University of Illinois Urbana-Champaign
  • Chip based VLSI design for Industrial Applications: L&T EduTech
  • Create Machine Learning Models in Microsoft Azure: Microsoft
  • Supply Chain Planning: University of California, Irvine
  • Linear Regression in R for Public Health : Imperial College London
  • Understanding the Enterprise Systems Environment: SAP
  • Chemical Biology: University of Geneva
  • Constitutional Struggles in the Muslim World: University of Copenhagen
  • Animer une séance collaborative: ESSEC Business School
  • Decentralized Applications (Dapps): University at Buffalo

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