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

    Corporate Finance Institute

    Data Prep for Machine Learning in Python

    Skills you'll gain: Data Preprocessing, Feature Engineering, Data Import/Export, Exploratory Data Analysis, Data Cleansing, Statistical Visualization, Data Manipulation, Data Visualization, Data Transformation, Pandas (Python Package), Box Plots, Python Programming, Data Science, Scikit Learn (Machine Learning Library)

    Advanced · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    W

    Whizlabs

    AWS: Feature Engineering Data Transformation & Integrity

    Skills you'll gain: Feature Engineering, Data Preprocessing, AWS SageMaker, Data Cleansing, Apache Spark, Extract, Transform, Load, Data Pipelines, Data Transformation, Amazon Web Services, Responsible AI, Data Quality, Data Integrity, Amazon S3, Personally Identifiable Information, Data Security

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Building a Machine Learning Solution

    Skills you'll gain: Exploratory Data Analysis, Model Evaluation, Data Collection, Model Deployment, Data Ethics, MLOps (Machine Learning Operations), Feature Engineering, Data Cleansing, Applied Machine Learning, Data Analysis, Statistical Analysis, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Predictive Modeling, Generative AI, Data Preprocessing, Continuous Monitoring

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    P

    Pontificia Universidad Católica de Chile

    Transferencia de momentum, calor y masa computacional

    Skills you'll gain: Engineering Analysis, Engineering Calculations, Numerical Analysis, Finite Element Methods, Chemical Engineering, Simulation and Simulation Software, Differential Equations, Applied Mathematics, NumPy, Mathematical Modeling, Scientific Visualization, Python Programming, Plot (Graphics), Linear Algebra, Algorithms

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    Machine Learning with R: Build, Analyze & Predict

    Skills you'll gain: Data Analysis, Statistical Analysis, Probability Distribution, R Programming, Exploratory Data Analysis, Statistical Modeling, Machine Learning, Statistical Inference, Classification Algorithms, Data Manipulation, Supervised Learning, Random Forest Algorithm, Regression Analysis, Model Evaluation, Decision Tree Learning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    15 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    Prescriptive Analytics

    Skills you'll gain: Operations Research, Analytics, Business Analytics, Process Optimization, Data-Driven Decision-Making, Strategic Decision-Making, Data Science, Feature Engineering, Complex Problem Solving, Logistics, Model Evaluation, Python Programming, Decision Making, Cloud Computing

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Gemini for DevOps Engineers

    Skills you'll gain: Google Gemini, Gemini, Kubernetes, DevOps, Google Cloud Platform, Generative AI, Build Tools, Infrastructure as Code (IaC), Development Environment, Prompt Engineering

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    REST Assured - Mastering API Testing

    Skills you'll gain: API Testing, Cucumber (Software), Behavior-Driven Development, JSON, Restful API, Application Programming Interface (API), Test Tools, Test Case, JUnit, Security Testing, Test Script Development, Test Data, Test Automation, Apache Maven, Authentications, Development Environment, Authorization (Computing)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    15 reviews

    Mixed · Course · 1 - 4 Weeks

  • P

    Packt

    Time Series Forecasting with Facebook Prophet in Python

    Skills you'll gain: Forecasting, Data Preprocessing, Predictive Modeling, Model Evaluation, Data Manipulation, Anomaly Detection, Exploratory Data Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    F

    Fundação Instituto de Administração

    Teoria dos Jogos: Da Teoria à Prática

    Skills you'll gain: Game Theory, Conflict Management, Bidding, Business Strategy, Negotiation, Strategic Thinking, Strategic Decision-Making, Market Dynamics, Market Analysis, Decision Making, Economics

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Vertex AI Search for Commerce

    Skills you'll gain: AI Personalization, AI Enablement, Data Integration, Google Cloud Platform, MLOps (Machine Learning Operations), Model Deployment, Cloud Management, Data Modeling, System Monitoring, Restful API, Performance Measurement

    Advanced · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SAS

    Responsible Innovation and Trustworthy AI

    Skills you'll gain: Responsible AI, Data Ethics, AI Security, Regulatory Compliance, Artificial Intelligence, Business Ethics, Risk Analysis, SAS (Software), Compliance Training, Data Integrity, Human Centered Design, Accountability, Analytics, Diversity and Inclusion, Information Privacy, Data Governance, Data Analysis, Data Management, Model Deployment

    Beginner · Course · 1 - 4 Weeks

1…455456457…588

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

  • Data Prep for Machine Learning in Python: Corporate Finance Institute
  • AWS: Feature Engineering Data Transformation & Integrity : Whizlabs
  • Building a Machine Learning Solution: Coursera
  • Transferencia de momentum, calor y masa computacional: Pontificia Universidad Católica de Chile
  • Machine Learning with R: Build, Analyze & Predict: EDUCBA
  • Prescriptive Analytics: Dartmouth College
  • Gemini for DevOps Engineers: Google Cloud
  • REST Assured - Mastering API Testing: EDUCBA
  • Time Series Forecasting with Facebook Prophet in Python: Packt
  • Teoria dos Jogos: Da Teoria à Prática: Fundação Instituto de Administração

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