• 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: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Deep Learning for Computer Vision

    Skills you'll gain: Autoencoders, Convolutional Neural Networks, Generative Adversarial Networks (GANs), Applied Machine Learning, Model Deployment, Unsupervised Learning, Artificial Intelligence, Classification Algorithms

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Attention Mechanism

    Skills you'll gain: Recurrent Neural Networks (RNNs), Artificial Neural Networks, Machine Learning Methods, Deep Learning, Performance Tuning, Natural Language Processing

    4.2
    Rating, 4.2 out of 5 stars
    ·
    50 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SAS

    Building a Large-Scale, Automated Forecasting System

    Skills you'll gain: SAS (Software), Forecasting, Time Series Analysis and Forecasting, Statistical Methods, Predictive Modeling, Data Preprocessing, Automation, Anomaly Detection, Data Transformation, Model Evaluation

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Digital Safety and Security

    Skills you'll gain: Cyber Attacks, Data Security, Safety and Security, Cybersecurity, Computer Security Awareness Training, digital literacy, Information Systems Security, Security Strategy, Security Controls, Data Loss Prevention, Incident Response, Data Storage, Vulnerability Assessments, Patch Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    69 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    F

    Fractal Analytics

    Human Decision Making and its Biases

    Skills you'll gain: Decision Making, Critical Thinking, Analytical Skills, Behavioral Economics, Data Analysis, Artificial Intelligence, Emotional Intelligence, Self-Awareness, Psychology, Communication, Algorithms, Probability

    4.9
    Rating, 4.9 out of 5 stars
    ·
    39 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Amazon Web Services

    Bringing Ideas to Life Using AI

    Skills you'll gain: Generative AI, Agentic systems, AI Enablement, AI Product Strategy, Responsible AI, Application Programming Interface (API), Application Development, Amazon Web Services, Data Governance, Cost Management, AI Workflows, Model Deployment, Personally Identifiable Information, Prompt Engineering, Innovation, Compliance Management, Data Security

    4.6
    Rating, 4.6 out of 5 stars
    ·
    27 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EC-Council

    Information Security Fundamentals

    Skills you'll gain: Cryptography, Encryption, Systems Development Life Cycle, Human Factors (Security), Security Awareness, Cybersecurity, Cyber Attacks, Cyber Security Policies, Threat Detection, ISO/IEC 27001, Security Controls, Computer Security, Infrastructure Security, Network Security, Vulnerability Assessments, Risk Management Framework, Information Systems, General Data Protection Regulation (GDPR)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    37 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Using Generative AI for Learning Design Activities

    Skills you'll gain: Generative AI, Prompt Engineering, Ideation, Instructional Design, Brainstorming, Design Strategies, Content Creation, Persona Development, Professional Development, digital literacy

    4.9
    Rating, 4.9 out of 5 stars
    ·
    21 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Advanced HR Leadership & Strategy for SHRM Exams Prep

    Skills you'll gain: Talent Acquisition, Leadership Development, Diversity Equity and Inclusion Initiatives, HR Tech, Human Resource Strategy, Workplace inclusivity, Recruitment, Strategic Leadership, Human Resources Information System (HRIS), Cultural Diversity, Organizational Effectiveness, Team Building, Decision Making, Employee Onboarding, Innovation, Change Management

    4
    Rating, 4 out of 5 stars
    ·
    29 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    I

    Icahn School of Medicine at Mount Sinai

    Big Data Science with the BD2K-LINCS Data Coordination and Integration Center

    Skills you'll gain: Bioinformatics, Interactive Data Visualization, Supervised Learning, Machine Learning, Big Data, Data Integration, Unsupervised Learning, Data Processing, Data Analysis, Metadata Management, Application Programming Interface (API), Restful API

    4.8
    Rating, 4.8 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    G

    Google

    Data Structures in Python

    Skills you'll gain: Data Wrangling, Data Import/Export

    5
    Rating, 5 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    F

    Fred Hutchinson Cancer Center

    Researcher's Guide to Omic Data

    Skills you'll gain: Bioinformatics, Molecular Biology, Data Processing, Data Analysis, Data Literacy, Exploratory Data Analysis, Laboratory Research, Metadata Management, Science and Research, R Programming, Spatial Data Analysis, Scientific Methods, Data Collection, Data Quality, Research, Quantitative Research, Informatics, Biology, Laboratory Techniques, Analysis

    3.7
    Rating, 3.7 out of 5 stars
    ·
    34 reviews

    Intermediate · Specialization · 3 - 6 Months

1…313314315…581

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

  • Deep Learning for Computer Vision: University of Colorado Boulder
  • Attention Mechanism: Google Cloud
  • Building a Large-Scale, Automated Forecasting System: SAS
  • Digital Safety and Security: Arizona State University
  • Human Decision Making and its Biases: Fractal Analytics
  • Bringing Ideas to Life Using AI: Amazon Web Services
  • Information Security Fundamentals: EC-Council
  • Using Generative AI for Learning Design Activities : University of Michigan
  • Advanced HR Leadership & Strategy for SHRM Exams Prep: Board Infinity
  • Big Data Science with the BD2K-LINCS Data Coordination and Integration Center: Icahn School of Medicine at Mount Sinai

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