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

    Packt

    Business Analysis and CAPM Exam Preparation

    Skills you'll gain: Product Roadmaps, Business Analysis, Requirements Management, Team Building, Business Requirements, Acceptance Testing, Business Process Modeling, Agile Methodology, Project Management Software, Business Modeling, Agile Project Management, Stakeholder Analysis, Registration, Stakeholder Communications

    4.9
    Rating, 4.9 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Pest & Disease Management

    Skills you'll gain: Infection Control, Microbiology, Epidemiology, Preventative Care, Environmental Science, Environmental Monitoring

    4.4
    Rating, 4.4 out of 5 stars
    ·
    65 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Cisco Learning and Certifications

    Using APIs for Network Automation

    Skills you'll gain: Postman API Platform, Restful API, Authentications, Application Programming Interface (API), Scripting, JSON, Extensible Markup Language (XML), Network Protocols, YAML, Automation, Network Engineering, Python Programming

    4.7
    Rating, 4.7 out of 5 stars
    ·
    33 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    Exam Prep MLS-C01: AWS Certified Specialty Machine Learning

    Skills you'll gain: AWS Kinesis, Model Evaluation, AWS SageMaker, Machine Learning Algorithms, Data Collection, Amazon Redshift, MLOps (Machine Learning Operations), Image Analysis, Reinforcement Learning, Amazon Web Services, Model Deployment, Data Preprocessing, Scalability, Classification Algorithms, Forecasting, Feature Engineering, Algorithms, Data Analysis, Predictive Modeling, Data Modeling

    3.9
    Rating, 3.9 out of 5 stars
    ·
    42 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Corporate finance: Know your numbers 2

    Skills you'll gain: Capital Budgeting, Financial Management, Corporate Finance, Business Valuation, Financial Modeling, Performance Measurement, Financial Analysis, Risk Analysis, Equities, Return On Investment, Cash Flows, Case Studies, Working Capital

    3.7
    Rating, 3.7 out of 5 stars
    ·
    39 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Terraform Masterclass: From Beginner to Advanced

    Skills you'll gain: Infrastructure as Code (IaC), User Provisioning, Verification And Validation, User Accounts, Multi-Tenant Cloud Environments, Test Case, Secure Coding, Data Structures

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Python for Beginners: Variables and Strings

    Skills you'll gain: Data Import/Export, Data Analysis, Data Visualization, Programming Principles, Python Programming

    4.6
    Rating, 4.6 out of 5 stars
    ·
    57 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • C

    Coursera

    Deep Learning with PyTorch : GradCAM

    Skills you'll gain: PyTorch (Machine Learning Library), Convolutional Neural Networks, Heat Maps, Model Evaluation, Image Analysis, Deep Learning, Computer Vision

    4.6
    Rating, 4.6 out of 5 stars
    ·
    21 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Introduction to AI: Key Concepts and Applications

    Skills you'll gain: AI Enablement, Model Evaluation, Performance Metric, Artificial Intelligence and Machine Learning (AI/ML), Strategic Leadership, Responsible AI, Machine Learning Algorithms, Data Quality, Model Deployment, Machine Learning, Algorithms, Classification Algorithms, Artificial Neural Networks, Decision Tree Learning, Random Forest Algorithm, Resource Utilization, System Requirements, Data Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    24 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    Epic Games

    Visual Development and Audio Design in Games

    Skills you'll gain: Unreal Engine, Game Design, Video Game Development, Animation and Game Design, 3D Modeling, Prototyping, Visualization (Computer Graphics), 3D Assets, Computer Graphics, Multimedia, Virtual Environment, Aesthetics

    3.4
    Rating, 3.4 out of 5 stars
    ·
    30 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    R

    Rutgers the State University of New Jersey

    Operations Excellence

    Skills you'll gain: Supply Chain Management, Manufacturing Operations, Operations Management, Business Operations, Inventory Management System, Operational Efficiency, Logistics, Internal Communications, Analysis, Working Capital, Process Improvement, Financial Analysis, Lean Six Sigma, Complex Problem Solving

    4.8
    Rating, 4.8 out of 5 stars
    ·
    34 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    H

    Howard University

    Fundamentals of Business Problem Solving

    Skills you'll gain: Spreadsheet Software, Microsoft Excel, Data Modeling, Business Modeling, Business Analysis, Product Assortment, Business Mathematics, Price Negotiation, Business Process, Financial Modeling, Process Optimization, Data-Driven Decision-Making, Business Strategy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    23 reviews

    Intermediate · Course · 1 - 4 Weeks

1…319320321…582

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

  • Business Analysis and CAPM Exam Preparation: Packt
  • Pest & Disease Management: University of Illinois Urbana-Champaign
  • Using APIs for Network Automation: Cisco Learning and Certifications
  • Exam Prep MLS-C01: AWS Certified Specialty Machine Learning: Whizlabs
  • Corporate finance: Know your numbers 2: Macquarie University
  • Terraform Masterclass: From Beginner to Advanced: Packt
  • Python for Beginners: Variables and Strings: Coursera
  • Deep Learning with PyTorch : GradCAM: Coursera
  • Introduction to AI: Key Concepts and Applications: Johns Hopkins University
  • Visual Development and Audio Design in Games: Epic Games

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