• 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
    N
    G
    N
    G

    Multiple educators

    Machine Learning for Trading

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Machine Learning Methods, Model Evaluation, Machine Learning, Google Cloud Platform, Machine Learning Algorithms, Applied Machine Learning, Financial Trading, Reinforcement Learning, Recurrent Neural Networks (RNNs), Supervised Learning, Data Pipelines, Time Series Analysis and Forecasting, Statistical Machine Learning, Technical Analysis, Deep Learning, Securities Trading, Portfolio Management, Artificial Intelligence and Machine Learning (AI/ML)

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

    Intermediate · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The University of Edinburgh

    Astrobiology and the Search for Extraterrestrial Life

    Skills you'll gain: Life Sciences, Biology, Environmental Science, Environment, Research, Biochemistry, Microbiology, Scientific Methods, Chemistry

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Business Metrics for Data-Driven Companies

    Skills you'll gain: Business Analytics, Business Metrics, Analytics, Business Process Improvement, Business Intelligence, Business Process, Tableau Software, Business Analysis, Data Analysis, Key Performance Indicators (KPIs), Web Analytics, Data-Driven Decision-Making, Digital Transformation, E-Commerce, Financial Services, SQL, Decision Making

    4.6
    Rating, 4.6 out of 5 stars
    ·
    8.5K reviews

    Mixed · Course · 1 - 3 Months

  • T

    The University of Edinburgh

    Animal Behaviour and Welfare

    Skills you'll gain: Applied Behavior Analysis, Scientific Methods, Safety Assurance, Behavior Management, Stress Management, Empathy & Emotional Intelligence, Ethical Standards And Conduct, Healthcare Ethics, General Science and Research, Environmental Issue, Nutrition and Diet

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

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    N

    National Taiwan University

    Operations Research

    Skills you'll gain: Operations Research, Mathematical Modeling, Process Optimization, Report Writing, Applied Mathematics, Network Model, Process Improvement and Optimization, Business Modeling, Industrial Engineering, Linear Algebra, Numerical Analysis, Operations Management, Applied Machine Learning, Resource Allocation, Case Studies, Engineering Calculations, Algorithms, Feasibility Studies, Project Design, Business Analytics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    721 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Foundations of AI and Machine Learning

    Skills you'll gain: Model Deployment, Data Management, Artificial Intelligence and Machine Learning (AI/ML), Infrastructure Architecture, MLOps (Machine Learning Operations), Cloud Deployment, Artificial Intelligence, Data Security, Application Frameworks, Machine Learning, Data Preprocessing, Data Pipelines, Scalability

    4.6
    Rating, 4.6 out of 5 stars
    ·
    236 reviews

    Intermediate · Course · 1 - 3 Months

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

    Edureka

    Analytics Engineering Workflows with dbt

    Skills you'll gain: Data Quality, SQL, YAML, Data Pipelines, Data Validation, Data Mart, CI/CD, Data Modeling, Data Transformation, Version Control, Git (Version Control System), Technical Documentation, Maintainability, Scalability

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Document and Evaluate AI Ethics

    Skills you'll gain: Data Ethics, Responsible AI, Compliance Auditing, Ethical Standards And Conduct, Compliance Management, Auditing, Technical Documentation, Case Studies, Project Documentation, Model Deployment, Model Evaluation, Business Ethics, MLOps (Machine Learning Operations), Accountability, Mitigation, Data Quality

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    Y

    Yale University

    Narrative Economics

    Skills you'll gain: Behavioral Economics, Storytelling, Economics, Economic Development, Financial Forecasting, Forecasting, Socioeconomics, Social Studies, Market Dynamics, Consumer Behaviour, Analysis, Labor Relations

    4.8
    Rating, 4.8 out of 5 stars
    ·
    884 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rutgers the State University of New Jersey

    Supply Chain Logistics

    Skills you'll gain: Warehouse Management, Inventory and Warehousing, Inventory Management System, Transportation, Supply Chain, and Logistics, Logistics, Transportation Operations, Supply Chain Management, Supply Chain, Customer Service, Operating Cost

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

    Beginner · Course · 1 - 4 Weeks

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

    Edureka

    Building LLMs with Hugging Face and LangChain

    Skills you'll gain: LangChain, LLM Application, Hugging Face, Retrieval-Augmented Generation, OpenAI API, LangGraph, Model Deployment, AI Workflows, Large Language Modeling, AI Orchestration, Generative AI, Generative Model Architectures, CI/CD, Embeddings, Text Mining, Containerization, Restful API, Open Source Technology, Data Preprocessing, Docker (Software)

    Intermediate · Specialization · 1 - 3 Months

  • Status: New
    New
    G

    Google Cloud

    AI Infrastructure: Storage Options

    Skills you'll gain: Data Infrastructure, Model Deployment, Data Processing, Data Pipelines

    Intermediate · Course · 1 - 3 Months

1…737475…567

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

  • Machine Learning for Trading: New York Institute of Finance
  • Astrobiology and the Search for Extraterrestrial Life: The University of Edinburgh
  • Business Metrics for Data-Driven Companies: Duke University
  • Animal Behaviour and Welfare: The University of Edinburgh
  • Operations Research: National Taiwan University
  • Foundations of AI and Machine Learning: Microsoft
  • Analytics Engineering Workflows with dbt: Edureka
  • Document and Evaluate AI Ethics: Coursera
  • Narrative Economics: Yale University
  • Supply Chain Logistics: Rutgers the State University of New Jersey

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