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

    The George Washington University

    Essentials in Clinical Simulations Across the Health Professions

    Skills you'll gain: Clinical Assessment, Clinical Practices, Patient Evaluation, Nurse Education, Virtual Environment, Medical Equipment and Technology, Nursing, Health Education, Patient Communication, Safety Standards, Continuous Quality Improvement (CQI)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.2K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Michigan State University

    Photography Techniques: Light, Content, and Sharing

    Skills you'll gain: Photography, Photo Editing, Image Quality, Peer Review, Digital Publishing, Creativity, Information Privacy, Web Design and Development

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.1K reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    Technion - Israel Institute of Technology

    Startup Entrepreneurship

    Skills you'll gain: Ideation, Innovation, Business Planning, Brainstorming, Creative Problem-Solving, Creative Thinking, Value Propositions, Creativity, Entrepreneurship, Team Building, Operations Management, Resourcefulness, Thought Leadership, Problem Solving, Visionary, Strategic Thinking, Initiative and Leadership, Market Research, New Product Development, Business Strategy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.8K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free
    Free
    C

    Coursera

    AutoCAD for beginners: Drafting blueprints and schematics

    Skills you'll gain: AutoCAD, Architectural Drawing, Drafting and Engineering Design, Blueprint Reading, Blueprinting, Technical Drawing, Computer-Aided Design

    4.4
    Rating, 4.4 out of 5 stars
    ·
    57 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    T

    The State University of New York

    Foundations for Assisting in Home Care

    Skills you'll gain: Home Health Care, Nutrition and Diet, Geriatrics, Cultural Diversity, Caregiving, Working With Children, Meal Planning And Preparation, Patient Communication, Disabilities, Basic Patient Care, Mental and Behavioral Health, Family Support, Child Development, Dignity in Care, Patient Safety

    4.8
    Rating, 4.8 out of 5 stars
    ·
    669 reviews

    Mixed · Course · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Glasgow

    Biomedical Visualisation

    Skills you'll gain: 3D Modeling, 3D Assets, Scientific Visualization, Biomedical Engineering, Medical Terminology, Augmented and Virtual Reality (AR/VR), Anatomy, Animations, Image Analysis, Physiology, Biology, Medical Imaging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    530 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    AI Applications in Marketing and Finance

    Skills you'll gain: AI Personalization, Fraud detection, Big Data, Credit Risk, Risk Management, Digital Transformation, Customer Insights, Machine Learning, Marketing Analytics, AI Enablement, Data-Driven Decision-Making, Applied Machine Learning, Financial Data, Customer experience improvement, Artificial Intelligence, Analytics, Retail Banking, Data Science

    4.6
    Rating, 4.6 out of 5 stars
    ·
    481 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    I

    Insper

    Introdução ao Marketing Analítico

    Skills you'll gain: Marketing Analytics, Analytical Skills, Data Analysis, Data Collection, Marketing, Analytics, Market Research, Data-Driven Decision-Making, Customer Insights, Statistical Methods, Business Metrics, Consumer Behaviour, Brand Strategy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    800 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Big Data Modeling and Management Systems

    Skills you'll gain: Data Modeling, Data Infrastructure, Database Systems, Data Architecture, Big Data, Data Management, Database Management Systems, Real Time Data, NoSQL, Database Design, Apache Hadoop, Scalability

    4.4
    Rating, 4.4 out of 5 stars
    ·
    3K reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    UBITS

    Introducción a la inteligencia emocional

    Skills you'll gain: Emotional Intelligence, Personal Development, Empathy & Emotional Intelligence, Self-Awareness, Persistence, Self-Motivation, Adaptability, Resilience, Interpersonal Communications, Cultural Diversity, Communication, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    999 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Six Sigma Black Belt

    Skills you'll gain: Statistical Process Controls, Lean Six Sigma, Six Sigma Methodology, Lean Methodologies, Process Improvement, Team Management, Process Capability, Data Collection, Knowledge Transfer, Team Building, Statistical Hypothesis Testing, Meeting Facilitation, Continuous Improvement Process, Performance Measurement, Conflict Management, Process Analysis, Sampling (Statistics), Quality Control, Team Leadership, Statistics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    827 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    N

    Nanjing University

    Data Processing Using Python

    Skills you'll gain: Data Processing, Object Oriented Programming (OOP), Data Analysis, Data Structures, Statistical Methods, Web Scraping, Matplotlib, Pandas (Python Package), Data Visualization Software, Python Programming, NumPy, Data Manipulation, User Interface (UI)

    4.1
    Rating, 4.1 out of 5 stars
    ·
    377 reviews

    Beginner · Course · 1 - 3 Months

1…145146147…569

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

  • Essentials in Clinical Simulations Across the Health Professions: The George Washington University
  • Photography Techniques: Light, Content, and Sharing: Michigan State University
  • Startup Entrepreneurship: Technion - Israel Institute of Technology
  • AutoCAD for beginners: Drafting blueprints and schematics: Coursera
  • Foundations for Assisting in Home Care: The State University of New York
  • Biomedical Visualisation: University of Glasgow
  • AI Applications in Marketing and Finance: University of Pennsylvania
  • Introdução ao Marketing Analítico: Insper
  • Big Data Modeling and Management Systems: University of California San Diego
  • Introducción a la inteligencia emocional: UBITS

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