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

    Arizona State University

    English Communication for Tech Professionals

    Skills you'll gain: Business Writing, Oral Expression, Presentations, Grammar, Rapport Building, Business Communication, Technical Communication, Verbal Communication Skills, Writing, Vocabulary, Business Correspondence, Interpersonal Communications, Communication, Interviewing Skills, English Language, LinkedIn, Constructive Feedback, Professional Networking

    4.8
    Rating, 4.8 out of 5 stars
    ·
    75 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universidad de los Andes

    Introducción a la inteligencia artificial contemporánea

    Skills you'll gain: Artificial Intelligence, Image Analysis, Reinforcement Learning, Computer Vision, Machine Learning, Semantic Web, Natural Language Processing, Embedded Systems, Data Ethics, Supervised Learning, Deep Learning, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    314 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    SQL for Data Science Capstone Project

    Skills you'll gain: Presentations, SQL, Descriptive Statistics, Data Storytelling, Data Analysis, Peer Review, Exploratory Data Analysis, Statistical Analysis, Data Modeling, Performance Metric, Business Analytics, Text Mining, Data Science, Target Audience, Data Manipulation, Proposal Development

    4.2
    Rating, 4.2 out of 5 stars
    ·
    257 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    E

    Erasmus University Rotterdam

    Enjoyable Econometrics

    Skills you'll gain: Econometrics, Data Collection, Probability & Statistics, Regression Analysis, Survey Creation, Statistics, Quantitative Research, Descriptive Statistics, Data Literacy, Time Series Analysis and Forecasting, Statistical Analysis, Model Evaluation

    4.1
    Rating, 4.1 out of 5 stars
    ·
    133 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of California, Irvine

    اعمل بذكاء أكبر لا بجهد أكثر: إدارة الوقت الشخصي والمهني

    Skills you'll gain: Time Management, Planning, Delegation Skills, Resource Management, Expectation Management, Organizational Skills, Productivity, Personal Development, Prioritization, Overcoming Obstacles, Goal Setting, Decision Making, Sales

    4.8
    Rating, 4.8 out of 5 stars
    ·
    829 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    National Taiwan University

    Operations Research (2): Optimization Algorithms

    Skills you'll gain: Operations Research, Linear Algebra, Numerical Analysis, Applied Mathematics, Algorithms, Process Optimization, Engineering Calculations, Program Implementation, Computational Thinking, Operational Analysis, Mathematical Modeling, Resource Allocation, Decision Making, Facility Management, Calculus, Business Analytics

    4.9
    Rating, 4.9 out of 5 stars
    ·
    158 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The State University of New York

    Job Success: Get Hired or Promoted in 3 Steps

    Skills you'll gain: Infographics, LinkedIn, Social Media, Professional Development, Professional Networking, Strategic Communication, Recruitment, Data Visualization, Branding

    4.5
    Rating, 4.5 out of 5 stars
    ·
    684 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    W

    Workday

    Workday Human Capital Management for Business Users

    Skills you'll gain: Workday (Software), Human Capital, HR Tech, Benefits Enrollment Processes, Human Resources Information System (HRIS), People Analytics, Learning Management Systems, Human Resource Management, Staff Management, Business Reporting, Applicant Tracking Systems, Business Process, Compensation Analysis, Data Entry

    4.7
    Rating, 4.7 out of 5 stars
    ·
    119 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Factorial and Fractional Factorial Designs

    Skills you'll gain: Experimentation, Statistical Analysis, Statistical Methods, Variance Analysis, Data Analysis, Sample Size Determination, Statistical Modeling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    81 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of California, Irvine

    Life 101: Mental and Physical Self-Care

    Skills you'll gain: Stress Management, Personal Development, Emotional Intelligence, Self-Awareness, Mindfulness, Mental Health, Substance Abuse, Nutrition and Diet, Preventative Care, Mental Concentration, Exercise Science, Health And Wellness Coaching, Environmental Science, Health Education

    4.8
    Rating, 4.8 out of 5 stars
    ·
    276 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    New York University

    Real-Time Cyber Threat Detection and Mitigation

    Skills you'll gain: Network Security, Firewall, Distributed Denial-Of-Service (DDoS) Attacks, Threat Modeling, Network Architecture, Intrusion Detection and Prevention, TCP/IP, Cybersecurity, Threat Detection, Cyber Attacks, Enterprise Security, Infrastructure Security, Network Protocols, Proxy Servers

    4.7
    Rating, 4.7 out of 5 stars
    ·
    659 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    W

    West Virginia University

    Account Management & Sales Force Design

    Skills you'll gain: Sales Management, Sales Strategy, Account Management, Sales, Sales Process, Sales Training, Inside Sales, Selling Techniques, Business Strategy, Outside Sales, Recruitment

    4.5
    Rating, 4.5 out of 5 stars
    ·
    303 reviews

    Mixed · Course · 1 - 4 Weeks

1…190191192…573

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

  • English Communication for Tech Professionals: Arizona State University
  • Introducción a la inteligencia artificial contemporánea: Universidad de los Andes
  • SQL for Data Science Capstone Project: University of California, Davis
  • Enjoyable Econometrics: Erasmus University Rotterdam
  • اعمل بذكاء أكبر لا بجهد أكثر: إدارة الوقت الشخصي والمهني: University of California, Irvine
  • Operations Research (2): Optimization Algorithms: National Taiwan University
  • Job Success: Get Hired or Promoted in 3 Steps: The State University of New York
  • Workday Human Capital Management for Business Users: Workday
  • Factorial and Fractional Factorial Designs: Arizona State University
  • Life 101: Mental and Physical Self-Care: University of California, Irvine

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