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

    Packt

    Advanced CNNs, Transfer Learning, and Recurrent Networks

    Skills you'll gain: Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Deep Learning, Artificial Neural Networks, Image Analysis, Keras (Neural Network Library), Applied Machine Learning, Tensorflow, PyTorch (Machine Learning Library), Natural Language Processing, Network Architecture, Model Evaluation, Performance Tuning

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Gemini for Security Engineers

    Skills you'll gain: Google Gemini, AI Security, Cloud Deployment, Google Cloud Platform, Cloud Security, Generative AI, Vulnerability Assessments, Security Controls, Security Engineering

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Professional IQ Capstone

    Skills you'll gain: Professional Development, Personal Development, Decision Making, Communication, Leadership, Strategic Decision-Making, Goal Setting, Self-Awareness, Adaptability, Analytical Skills

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Machine Learning with Python: Build & Optimize

    Skills you'll gain: Matplotlib, Data Preprocessing, Regression Analysis, Scikit Learn (Machine Learning Library), Data Visualization, Python Programming, Applied Machine Learning, Pandas (Python Package), Model Evaluation, NumPy, Predictive Modeling, Machine Learning Algorithms, Machine Learning, Data Manipulation, Dimensionality Reduction, Statistical Methods, Data Transformation, Feature Engineering, Unsupervised Learning, Performance Tuning

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Fundamentals of Oracle Database Performance Tuning

    Skills you'll gain: Oracle Databases, Performance Tuning, Operational Databases, System Monitoring, Database Management, SQL, Event Monitoring, Database Architecture and Administration

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    The State University of New York

    Multi-Event Facility Enterprises & Management

    Skills you'll gain: Facility Management, Event Management, Legal Risk, Contract Management, Hospitality and Food Services, Event Planning, Data-Driven Decision-Making, Community Outreach, Event Marketing, Relationship Management, Data Management, Customer Engagement, Operations Management, Promotional Strategies, Risk Management, Management Training And Development, Business Strategy, Budgeting, Insurance Policies, Advertising

    4.4
    Rating, 4.4 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

  • G

    Google Cloud

    Build, Train and Deploy ML Models with Keras on Google Cloud - 日本語版

    Skills you'll gain: Tensorflow, Model Deployment, Keras (Neural Network Library), Data Pipelines, Google Cloud Platform, Deep Learning, Data Preprocessing, Applied Machine Learning, Scalability, Artificial Neural Networks, Data Transformation

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    LearnQuest

    Data Science Foundations with No-Code Tools

    Skills you'll gain: Exploratory Data Analysis, Data Storytelling, Dashboard, Data Presentation, Data Analysis, Data Literacy, No-Code Development, Data Science, Predictive Modeling, Data Ethics, Data Capture, Data Modeling, Data Processing, Data Transformation, Data Integrity, Data Cleansing, Applied Machine Learning, Data Governance, Data Collection, Data Integration

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Machine Learning, Big Data, and Deep Learning

    Skills you'll gain: Apache Spark, PySpark, Model Evaluation, Data Preprocessing, Keras (Neural Network Library), Transfer Learning, Deep Learning, Tensorflow, A/B Testing, Data Ethics, Convolutional Neural Networks, Machine Learning Software, Data Cleansing, Machine Learning, Recurrent Neural Networks (RNNs), MLOps (Machine Learning Operations), Artificial Intelligence, Dimensionality Reduction

    Advanced · Course · 1 - 3 Months

  • C

    Coursera

    AWS AutoGluon for Machine Learning Classification

    Skills you'll gain: AWS SageMaker, Model Evaluation, Applied Machine Learning, Classification Algorithms, Amazon Web Services, Machine Learning Methods, Predictive Modeling, Machine Learning, Python Programming

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Gemini for Cloud Architects

    Skills you'll gain: Google Gemini, Kubernetes, Application Deployment, Cloud Management, Cloud Infrastructure, Unix Shell, Prompt Engineering, Generative AI, Cloud Computing Architecture

    4.4
    Rating, 4.4 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • A

    Alfaisal University | KLD

    الاقتصاد الجزئي: قوة الأسواق | Microeconomics

    Skills you'll gain: Supply And Demand, Market Dynamics, Economics, Market Analysis, Market Data, Public Policies, Consumer Behaviour, Cost Benefit Analysis, Policty Analysis, Research, and Development, Price Negotiation, Decision Making

    Beginner · Course · 1 - 4 Weeks

1…470471472…588

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

  • Advanced CNNs, Transfer Learning, and Recurrent Networks: Packt
  • Gemini for Security Engineers: Google Cloud
  • Professional IQ Capstone: University of Illinois Urbana-Champaign
  • Machine Learning with Python: Build & Optimize: EDUCBA
  • Fundamentals of Oracle Database Performance Tuning: Packt
  • Multi-Event Facility Enterprises & Management: The State University of New York
  • Build, Train and Deploy ML Models with Keras on Google Cloud - 日本語版: Google Cloud
  • Data Science Foundations with No-Code Tools: LearnQuest
  • Advanced Machine Learning, Big Data, and Deep Learning: Packt
  • AWS AutoGluon for Machine Learning Classification: 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