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

    Whizlabs

    Azure ML: Explore & Configure the Machine Learning Workspace

    Skills you'll gain: Statistical Modeling, Microsoft Azure, Statistical Methods, Data Science, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, MLOps (Machine Learning Operations), Azure Synapse Analytics, Cloud Computing, Data Preprocessing, Data Management, Model Deployment, Model Evaluation, Development Environment

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidad de Palermo

    Matemática para Negocios 

    Skills you'll gain: Business Mathematics, Profit and Loss (P&L) Management, Income Statement, Graphing, Financial Analysis, Case Studies, Business Metrics, Operating Cost, Business Analysis, Financial Statements, Mathematical Modeling, Arithmetic, Cost Accounting, Algebra, Sales

    Beginner · Course · 1 - 4 Weeks

  • M

    MathWorks

    Powering the Future with Electrification

    Skills you'll gain: Electrical Systems, Model Based Systems Engineering, Electric Power Systems, Climate Change Mitigation, Energy and Utilities, Environmental Issue

    4.9
    Rating, 4.9 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Optimization with Next.js: Build a Product Portfolio Website

    Skills you'll gain: Frontend Performance, React.js, JavaScript Frameworks, Front-End Web Development, HTML and CSS, Web Development, Web Design, Cascading Style Sheets (CSS), Microsoft Visual Studio

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    C

    Coursera

    Analyzing and Underwriting Corporate Credit in India

    Skills you'll gain: Financial Statement Analysis, Financial Statements, Business Risk Management, Credit Risk, Financial Analysis, Lending and Underwriting, Financial Modeling, Commercial Lending, Risk Analysis, Financial Acumen, Corporate Finance, Operational Risk, Analysis, Income Statement, Balance Sheet, Banking, Market Analysis, Cash Flows

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidades Anáhuac

    Bienestar para el Desarrollo Personal y Profesional

    Skills you'll gain: Self-Awareness, Personal Development, Human Development, Behavioral Health, Mental Health, Nutrition and Diet, Nutrition Education, Stress Management, Health And Wellness Coaching, Public Health and Disease Prevention, Resilience, Substance Abuse, Mental and Behavioral Health, Emotional Intelligence, Media and Communications, Chronic Diseases

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Coursera

    Game Bots in C#: Develop a Tic-Tac-Toe Agent

    Skills you'll gain: C# (Programming Language), Artificial Intelligence, Microsoft Visual Studio, Algorithms, Game Design, Video Game Development

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Generative Adversarial Networks (GANs)

    Skills you'll gain: Generative Adversarial Networks (GANs), Transfer Learning, Artificial Neural Networks, Keras (Neural Network Library), Image Analysis, Convolutional Neural Networks, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Data Preprocessing, Embeddings, Network Architecture, Matplotlib, Jupyter, NumPy

    Advanced · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    É

    École Polytechnique

    Voyages de l'infiniment grand à l'infiniment petit

    Skills you'll gain: Physics, General Science and Research, Materials science, Physical Science, Scientific Methods, Engineering, Scientific, and Technical Instruments, Radiation Therapy, Research, Chemistry, Radiology, Biomedical Technology, High Voltage, Emerging Technologies, Laboratory Equipment, electromagnetics, Radiation Protection, Energy and Utilities, Experimentation, X-Ray Computed Tomography, Innovation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    7 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free
    Free
    D

    DeepLearning.AI

    Retrieval Optimization: Tokenization to Vector Quantization

    Skills you'll gain: Embeddings, Retrieval-Augmented Generation, Vector Databases, Text Mining, Large Language Modeling, Performance Tuning

    Beginner · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Segmenting the Market with Jagdish Sheth

    Skills you'll gain: Target Market, Strategic Marketing, Product Marketing, Marketing Strategy and Techniques, Product Strategy, Market Research, Growth Strategies, Market Analysis, Marketing Psychology, Revenue Management, Promotional Strategies, Competitive Analysis, Consumer Behaviour

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Machine Learning and Emerging Technologies in Cybersecurity

    Skills you'll gain: Model Evaluation, Intrusion Detection and Prevention, Threat Detection, Computer Security Incident Management, Cybersecurity, Anomaly Detection, Applied Machine Learning, Network Security, Machine Learning, Unsupervised Learning, Supervised Learning, Artificial Neural Networks

    Intermediate · Course · 1 - 3 Months

1…453454455…588

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

  • Azure ML: Explore & Configure the Machine Learning Workspace: Whizlabs
  • Matemática para Negocios : Universidad de Palermo
  • Powering the Future with Electrification: MathWorks
  • Optimization with Next.js: Build a Product Portfolio Website: Coursera
  • Analyzing and Underwriting Corporate Credit in India: Coursera
  • Bienestar para el Desarrollo Personal y Profesional: Universidades Anáhuac
  • Game Bots in C#: Develop a Tic-Tac-Toe Agent: Coursera
  • Advanced Generative Adversarial Networks (GANs): Packt
  • Voyages de l'infiniment grand à l'infiniment petit: École Polytechnique
  • Retrieval Optimization: Tokenization to Vector Quantization: DeepLearning.AI

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