• 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

    Northwestern University

    Modern Robotics: Mechanics, Planning, and Control

    Skills you'll gain: Robotics, Machine Controls, Control Systems, Automation Engineering, Mathematical Modeling, Mathematical Software, Simulation and Simulation Software, Engineering Calculations, Engineering, Mechanics, Mechanical Engineering, Artificial Intelligence, Vibrations, Applied Mathematics, Engineering Analysis, Automation, Virtual Environment, Torque (Physics), Graph Theory, Matlab

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    M

    Meta

    Meta Data Analyst

    Skills you'll gain: Data Storytelling, Data Presentation, Business Metrics, Key Performance Indicators (KPIs), Data Management, Data Collection, Data Governance, Bayesian Statistics, Data Visualization, Descriptive Statistics, Statistical Hypothesis Testing, Information Privacy, Data Cleansing, Pandas (Python Package), Data Analysis, Data Visualization Software, Spreadsheet Software, Exploratory Data Analysis, SQL, Python Programming

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

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: New
    New
    P

    Packt

    Real Time Analytics with SAP Hana

    Skills you'll gain: SAP Analytics Cloud, Data Access, Data Modeling, Real Time Data, Stored Procedure, Data Warehousing, Database Development, Data Security, Data Integration, SAP Applications, SQL, Predictive Analytics, Business Reporting, Scripting

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Evaluate AI Risks: Adopt Smart Predictions

    Skills you'll gain: Model Evaluation, Data-Driven Decision-Making, Predictive Modeling, Risk Analysis, Strategic Decision-Making, Performance Metric, Technical Communication

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Washington

    Machine Learning

    Skills you'll gain: Model Evaluation, Classification Algorithms, Regression Analysis, Applied Machine Learning, Feature Engineering, Machine Learning, Image Analysis, Unsupervised Learning, Predictive Modeling, Supervised Learning, Bayesian Statistics, Logistic Regression, Statistical Modeling, Artificial Intelligence, Data Preprocessing, Deep Learning, Data Mining, Decision Tree Learning, Computer Vision, Statistical Machine Learning

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    U

    Universidad de Palermo

    Inteligencia Artificial Aplicada a la Construcción

    Skills you'll gain: Civil Engineering, Sustainable Architecture, Building Design, Innovation, Sustainable Design, Structural Engineering, Robotics, 3D Modeling

    Beginner · Course · 1 - 4 Weeks

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

    EDUCBA

    AI Technologies, Tools & Cloud Certification Specialization

    Skills you'll gain: Artificial Intelligence and Machine Learning (AI/ML), Computer Vision, Artificial Intelligence, Image Analysis, AWS SageMaker, Responsible AI, Natural Language Processing, Generative AI, Machine Learning, Prompt Engineering, Amazon Web Services, Model Deployment, OpenAI, Amazon Bedrock, Robotic Process Automation, Cloud Deployment, Customer experience improvement, ChatGPT, Data Science, Machine Learning Methods

    Beginner · Specialization · 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
    ·
    720 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Pennsylvania

    Microeconomics: The Power of Markets

    Skills you'll gain: Supply And Demand, Economics, Market Dynamics, Market Analysis, Resource Allocation, Policy Analysis, Tax, Consumer Behaviour, Cost Benefit Analysis, Decision Making

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

    Mixed · Course · 1 - 3 Months

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

    Creo Incubator

    Entrepreneurship: Ideation and Exploring Fundamentals

    Skills you'll gain: Business Modeling, Ideation, Design Thinking, Entrepreneurship, Lean Methodologies, Creative Problem-Solving, Innovation, Business Planning, Business Development, Business Strategy, Open Mindset, Growth Mindedness, Product Development, Business, Value Propositions, Prototyping, Growth Strategies, Strategic Decision-Making

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Mastering the Art of Isometric Room Design in Blender 3

    Skills you'll gain: 3D Modeling, Computer Graphics, Visualization (Computer Graphics), Animation and Game Design, Graphical Tools, Design Software, Image Quality, Layout Design

    Intermediate · Course · 3 - 6 Months

  • Status: New
    New
    M

    Microsoft

    Machine Learning and AI Applications in Healthcare

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Responsible AI, Power BI, Microsoft Azure, Image Analysis, Data Visualization Software, Machine Learning, Medical Imaging, Clinical Research, Predictive Analytics, Azure Synapse Analytics, Model Evaluation, Health Informatics, Artificial Intelligence, AI Security, Applied Machine Learning, Data Preprocessing, Computer Vision, Feature Engineering

    Intermediate · Course · 1 - 4 Weeks

1…505152…566

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

  • Modern Robotics: Mechanics, Planning, and Control: Northwestern University
  • Meta Data Analyst: Meta
  • Real Time Analytics with SAP Hana: Packt
  • Evaluate AI Risks: Adopt Smart Predictions: Coursera
  • Machine Learning: University of Washington
  • Inteligencia Artificial Aplicada a la Construcción: Universidad de Palermo
  • AI Technologies, Tools & Cloud Certification Specialization: EDUCBA
  • Operations Research: National Taiwan University
  • Microeconomics: The Power of Markets: University of Pennsylvania
  • Entrepreneurship: Ideation and Exploring Fundamentals : Creo Incubator

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