• 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

    NIIT

    Building Interactive Web Pages Using Modern JavaScript

    Skills you'll gain: JSON, Javascript, Ajax, JavaScript Frameworks, Web Development Tools, Software Testing, Frontend Performance, Event-Driven Programming, Hypertext Markup Language (HTML), Web Servers, Data Validation, Data Structures

    3.8
    Rating, 3.8 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    U

    University of the Arts London

    Introduction to Creative AI

    Skills you'll gain: PyTorch (Machine Learning Library), Artificial Intelligence, Creativity, Artificial Intelligence and Machine Learning (AI/ML), Creative Thinking, Generative AI, Artificial Neural Networks, Responsible AI, Creative Problem-Solving, Creative Design, Machine Learning Methods, Data Ethics, Deep Learning, Critical Thinking

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    What Is Cybersecurity?

    Skills you'll gain: Cybersecurity, Cyber Security Policies, Computer Security Awareness Training, Cyber Attacks, Cyber Threat Intelligence, Personally Identifiable Information, Information Privacy, Data Ethics, Authentications, General Data Protection Regulation (GDPR), Human Factors (Security), NIST 800-53, Identity and Access Management

    4.9
    Rating, 4.9 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    N

    Northeastern University

    Engineering Probability and Statistics Part 1

    Skills you'll gain: Probability & Statistics, Probability Distribution, Probability, Statistical Methods, Exploratory Data Analysis, Statistical Analysis, Bayesian Statistics, Descriptive Statistics, Data Analysis, Statistical Visualization, Correlation Analysis, Reliability, Risk Modeling

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    D

    Duke University

    End to End LLMs with Azure

    Skills you'll gain: Retrieval-Augmented Generation, LLM Application, Model Deployment, Prompt Patterns, Microsoft Azure, OpenAI API, Large Language Modeling, OpenAI, Application Deployment, Embeddings, Application Programming Interface (API), Scalability

    2.5
    Rating, 2.5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Cinematic Health

    Essential Soft Skills & Special Patient Populations

    Skills you'll gain: Developmental Disabilities, Professionalism, Trauma Care, Healthcare Ethics, Patient Communication, Patient-centered Care, Mental and Behavioral Health, Cultural Responsiveness, Psychiatric And Mental Health Nursing, Substance Abuse, Interpersonal Communications, Active Listening, Nursing Care, Social Skills, Behavior Management, Empathy, Compassion, Communication, Mental Health, Communication Strategies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    Sungkyunkwan University

    Machine Learning for Smart Beta

    Skills you'll gain: Data Processing, Data Preprocessing, Portfolio Management, Investment Management, Classification And Regression Tree (CART), Statistical Machine Learning, Investments, Machine Learning Algorithms, Applied Machine Learning, R Programming, Feature Engineering, Machine Learning, Financial Modeling, Model Evaluation, Supervised Learning, Asset Management

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    A

    Amazon Web Services

    Introduction to Serverless Development v01.01.00

    Skills you'll gain: Serverless Computing, Amazon Web Services, Cloud Computing Architecture, Development Environment, Software Development Tools, Cloud Development, Software Development, Cloud Applications

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Virginia

    Coding User Interfaces with AI

    Skills you'll gain: Model View Controller, Debugging, Responsive Web Design, User Interface (UI), HTML and CSS, Web Design and Development, User Interface and User Experience (UI/UX) Design, AI Product Strategy, Prototyping, Generative AI

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    O

    O.P. Jindal Global University

    Conflict Resolution, Negotiations and Crisis Management

    Skills you'll gain: Crisis Management, Mediation, Negotiation, Conflict Management, Diplomacy, Leadership, Governance, Public Safety and National Security, International Relations, Social Justice, Diversity and Inclusion, Decision Making, Case Studies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    Power BI: Data Analytics and Data Preparation

    Skills you'll gain: Data Transformation, Power BI, Data-Driven Decision-Making, Data Integration, Data Cleansing, Data Wrangling, Extract, Transform, Load, Data Preprocessing, Data Modeling, Business Intelligence, Data Visualization Software, Data Quality, Data Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Honors Algebra 2: Series, Trigonometry, and Probability

    Skills you'll gain: Trigonometry, Probability, Data Analysis, Algebra, Probability Distribution, Descriptive Statistics, Mathematical Modeling, Graphing, Statistics, Geometry, Arithmetic

    Beginner · Course · 1 - 4 Weeks

1…388389390…583

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

  • Building Interactive Web Pages Using Modern JavaScript: NIIT
  • Introduction to Creative AI: University of the Arts London
  • What Is Cybersecurity?: Kennesaw State University
  • Engineering Probability and Statistics Part 1: Northeastern University
  • End to End LLMs with Azure: Duke University
  • Essential Soft Skills & Special Patient Populations: Cinematic Health
  • Machine Learning for Smart Beta: Sungkyunkwan University
  • Introduction to Serverless Development v01.01.00: Amazon Web Services
  • Coding User Interfaces with AI: University of Virginia
  • Conflict Resolution, Negotiations and Crisis Management: O.P. Jindal Global 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