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

    Rutgers the State University of New Jersey

    Sourcing Analytics

    Skills you'll gain: Strategic Sourcing, Procurement, Supplier Management, Supply Chain, Supplier Performance Management, Supply Management, Supply Chain Management, Benchmarking, Competitive Analysis, Business Analytics, Analytics, Business Intelligence, Financial Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    20 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    MongoDB: The Complete Guide to NoSQL Database Development

    Skills you'll gain: MongoDB, Restful API, API Design, NoSQL, Database Development, Node.JS, Query Languages, Database Management, Distributed Computing, Database Design, Database Architecture and Administration, Performance Tuning, Data Architecture, Scalability, Data Modeling, Data Validation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    63 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    A

    Amazon Web Services

    Developing Machine Learning Solutions

    Skills you'll gain: Model Evaluation, MLOps (Machine Learning Operations), AWS SageMaker, Amazon Web Services, Model Deployment, Machine Learning, Applied Machine Learning, Predictive Modeling

    4.5
    Rating, 4.5 out of 5 stars
    ·
    104 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    Technical University of Munich (TUM)

    Biotech — From Science to Business

    Skills you'll gain: Biotechnology, Business Modeling, Commercialization, Entrepreneurship, Business Strategy, Feasibility Studies, Business Valuation, Market Opportunities, Innovation, Intellectual Property, Product Development, Team Building, Regulatory Requirements

    4.6
    Rating, 4.6 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Codio

    Data Analysis in R with RStudio & Tidyverse

    Skills you'll gain: Descriptive Statistics, Statistical Hypothesis Testing, Correlation Analysis, Tidyverse (R Package), Data Analysis, Regression Analysis, Probability & Statistics, Statistical Methods, Data Import/Export, Statistical Analysis, R Programming, Data Wrangling, Data Manipulation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    How to Create a Program Evaluation for Your Non-Profit

    Skills you'll gain: Program Evaluation, Smart Goals, Surveys, Goal Setting, Survey Creation, Performance Measurement, Grant Writing, Data Collection, Research Methodologies

    4.5
    Rating, 4.5 out of 5 stars
    ·
    134 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Machine Learning with TensorFlow Google Cloud 日本語版

    Skills you'll gain: Feature Engineering, Tensorflow, Google Cloud Platform, Model Deployment, Data Quality, Model Evaluation, Data Preprocessing, Scikit Learn (Machine Learning Library), Keras (Neural Network Library), Machine Learning, Embeddings, Exploratory Data Analysis, Applied Machine Learning, Supervised Learning, Artificial Intelligence and Machine Learning (AI/ML), Responsible AI, Data Pipelines, Machine Learning Algorithms, Dataflow, Artificial Neural Networks

    4.4
    Rating, 4.4 out of 5 stars
    ·
    152 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Cognición encarnada

    Skills you'll gain: Artificial Intelligence, Social Sciences, Psychology, Human Learning, Human Development, Sociology, Theoretical Computer Science, Human Factors, Human Machine Interfaces, Research, Cognitive Behavioral Therapy, Scientific Methods, Science and Research, Robotics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    53 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    CCNA Intermediate – Switching, VLANs & Routing

    Skills you'll gain: Network Troubleshooting, Network Routing, Routing Protocols, OSI Models, TCP/IP, Virtual Local Area Network (VLAN), Network Switches, Networking Hardware, Network Administration, Local Area Networks, Network Infrastructure, Network Protocols, System Configuration

    4.8
    Rating, 4.8 out of 5 stars
    ·
    31 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Análisis de documentos con servicios cognitivos de Azure

    Skills you'll gain: Model Evaluation, Unsupervised Learning, Microsoft Azure, Machine Learning Methods, Data Validation, No-Code Development, Data Processing, Document Management, Cloud Services

    4.8
    Rating, 4.8 out of 5 stars
    ·
    24 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    UiPath

    UI Automation and Selectors

    Skills you'll gain: User Interface (UI), UI Components, Test Automation, Automation, Robotic Process Automation, Excel Macros, Application Frameworks, Desktop Support

    4.7
    Rating, 4.7 out of 5 stars
    ·
    41 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Foundations of Computer Hardware and Storage

    Skills you'll gain: Peripheral Devices, USB, Operating Systems, Computer Hardware, Data Storage Technologies, Hardware Troubleshooting, Electrical Safety, Technical Communication, Linux, File Systems, Microsoft Windows, Information Privacy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    25 reviews

    Beginner · Course · 1 - 3 Months

1…347348349…582

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

  • Sourcing Analytics: Rutgers the State University of New Jersey
  • MongoDB: The Complete Guide to NoSQL Database Development: EDUCBA
  • Developing Machine Learning Solutions: Amazon Web Services
  • Biotech — From Science to Business: Technical University of Munich (TUM)
  • Data Analysis in R with RStudio & Tidyverse: Codio
  • How to Create a Program Evaluation for Your Non-Profit : Coursera
  • Machine Learning with TensorFlow Google Cloud 日本語版: Google Cloud
  • Cognición encarnada: Universidad Nacional Autónoma de México
  • CCNA Intermediate – Switching, VLANs & Routing: Packt
  • Análisis de documentos con servicios cognitivos de Azure: Coursera

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