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

    Arizona State University

    商务英语课程:财经英语 Finance & Economics

    Skills you'll gain: Negotiation, Business Communication, Vocabulary, Business Writing, Forecasting, English Language, Budgeting, Verbal Communication Skills, Financial Acumen, Business Ethics, Auditing, Influencing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Resilience & Leadership: Concepts, Definitions, & Frameworks

    Skills you'll gain: Crisis Management, Threat Management, Threat Detection, Infrastructure Security, Resilience, Disaster Recovery, Emergency Response, Business Ethics, Risk Management, Organizational Change, Systems Thinking, Hazard Analysis, Safety and Security, Risk Analysis, Industrial and Organizational Psychology, Complex Problem Solving, Ethical Standards And Conduct, Decision Making, Leadership, Case Studies

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Network Analysis for Marketing Analytics

    Skills you'll gain: Network Analysis, Social Network Analysis, Marketing Analytics, Unstructured Data, Semantic Web, Statistical Methods, Text Mining, Data Structures, JSON, Natural Language Processing, Data Visualization Software, Python Programming

    Build toward a degree

    2.8
    Rating, 2.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    NVIDIA: Fundamentals of Deep Learning

    Skills you'll gain: Convolutional Neural Networks, Deep Learning, Transfer Learning, Image Analysis, Computer Vision, PyTorch (Machine Learning Library), Artificial Neural Networks, Tensorflow, Classification Algorithms, Machine Learning, Supervised Learning, Data Processing, Linear Algebra

    4.4
    Rating, 4.4 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    LLM Fine-Tuning and Customization Training

    Skills you'll gain: LLM Application, LangChain, Responsible AI, Large Language Modeling, Model Deployment, OpenAI, Data Preprocessing, Hugging Face, Model Evaluation, Transfer Learning, Supervised Learning, Reinforcement Learning

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Foundations of Deep Learning and Neural Networks

    Skills you'll gain: Artificial Neural Networks, Deep Learning, Convolutional Neural Networks, Image Analysis, Keras (Neural Network Library), Artificial Intelligence and Machine Learning (AI/ML), Tensorflow, Machine Learning Methods, Network Architecture, Artificial Intelligence, Network Model, Machine Learning, Classification Algorithms

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Electrical Characterization: Diodes

    Skills you'll gain: Semiconductors, Electronic Components, Production Process, Engineering, Scientific, and Technical Instruments, Basic Electrical Systems, Test Equipment, Electrical Engineering, Electronic Systems, Manufacturing Processes, Process Control, Laboratory Equipment, Materials science, Engineering Calculations, Applied Mathematics

    4.9
    Rating, 4.9 out of 5 stars
    ·
    27 reviews

    Intermediate · Course · 1 - 3 Months

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

    LearnQuest

    Foundations of No-Code AI for Real-World Applications

    Skills you'll gain: Data Ethics, No-Code Development, Model Deployment, Data Cleansing, Data Preprocessing, Artificial Intelligence, Machine Learning, Business Metrics, Data Storytelling, User Experience Design, Generative AI, Business Analytics, Regulation and Legal Compliance, AI Workflows, Scalability, Data Validation, Dashboard, Automation, Stakeholder Engagement

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Selenium WebDriver with Java and Frameworks for all levels

    Skills you'll gain: Ajax, JUnit, Gherkin (Scripting Language), Test Script Development, Test Tools, Debugging, Integration Testing, Software Design Patterns, Test Data, Scripting, Web Development Tools, Data Structures, Automation, SQL, MySQL

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    R

    Rice University

    Finanzen für Nicht-Finanzfachleute

    Skills you'll gain: Cash Flows, Return On Investment, Finance, Business Valuation, Capital Budgeting, Financial Analysis, Financial Modeling, General Finance, Investment Management, Financial Management, Case Studies, Financial Statements, Risk Analysis, Corporate Finance, Balance Sheet

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Bridging Data and Practice for Personalized Nutrition

    Skills you'll gain: AI Personalization, Nutrition and Diet, Nutritional Assessment, Personalized Service, Precision Medicine, Medical Nutrition Therapy, Nutrition Education, Data Ethics, Data Collection, Patient Education And Counseling, Data Analysis, Health Technology, Consumer Behaviour, Continuous Monitoring

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Master Private Equity Basics: Analyze, Structure & Apply

    Skills you'll gain: Private Equity, Negotiation, Business Valuation, Investment Management, Mergers & Acquisitions, Financial Modeling, Due Diligence, Portfolio Management, Financial Analysis, Entrepreneurial Finance, Liquidation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    18 reviews

    Mixed · Course · 1 - 4 Weeks

1…412413414…584

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

  • 商务英语课程:财经英语 Finance & Economics: Arizona State University
  • Resilience & Leadership: Concepts, Definitions, & Frameworks: University of Colorado Boulder
  • Network Analysis for Marketing Analytics: University of Colorado Boulder
  • NVIDIA: Fundamentals of Deep Learning: Whizlabs
  • LLM Fine-Tuning and Customization Training: Simplilearn
  • Foundations of Deep Learning and Neural Networks: Packt
  • Electrical Characterization: Diodes: Arizona State University
  • Foundations of No-Code AI for Real-World Applications: LearnQuest
  • Selenium WebDriver with Java and Frameworks for all levels: Packt
  • Finanzen für Nicht-Finanzfachleute: Rice University

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