• 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
    Status: AI skills
    AI skills
    D

    DeepLearning.AI

    PyTorch for Deep Learning

    Skills you'll gain: PyTorch (Machine Learning Library), Model Deployment, Convolutional Neural Networks, Transfer Learning, Generative AI, Deep Learning, Image Analysis, MLOps (Machine Learning Operations), Data Pipelines, Embeddings, Artificial Neural Networks, Model Evaluation, Data Preprocessing, Software Visualization, Computer Vision, Natural Language Processing, Machine Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    67 reviews

    Intermediate · Professional Certificate · 1 - 3 Months

  • Status: Preview
    Preview
    T

    Technical University of Munich (TUM)

    The Basics of Trauma Surgery

    Skills you'll gain: Trauma Care, Orthopedics, Wound Care, Surgical Suturing, Surgery, Neurology, Injury Prevention, Emergency Medicine, Triage, Rehabilitation, Critical Care, Acute Care, Diagnostic Radiology, Anatomy, Clinical Assessment, Medical Imaging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    247 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Coursera

    How To Visualize Your Data Using Microsoft Powerpoint

    Skills you'll gain: Presentations, Microsoft PowerPoint, Data Visualization, Data Storytelling, Video Editing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    300 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Toronto

    App Design and Development for iOS

    Skills you'll gain: Apple iOS, Swift Programming, Apple Xcode, Mobile Development, Application Design, Application Development, User Interface (UI), Interaction Design, Data Persistence, Animations, Computer Graphics, Persistence, Storyboarding, Network Model

    4.1
    Rating, 4.1 out of 5 stars
    ·
    269 reviews

    Mixed · 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
    ·
    828 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Leading Change in Health Informatics

    Skills you'll gain: Healthcare Project Management, Health Informatics, Clinical Informatics, Change Control, Health Care Administration, Clinical Leadership, IT Management, Strategic Leadership, Health Care, Decision Support Systems, Continuous Quality Improvement (CQI), Electronic Medical Record, System Implementation, Usability Testing

    4.7
    Rating, 4.7 out of 5 stars
    ·
    307 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    AI and Public Health

    Skills you'll gain: Model Evaluation, Data Analysis, Jupyter, Exploratory Data Analysis, Data Ethics, Artificial Intelligence, Machine Learning, Applied Machine Learning, Supervised Learning, Information Privacy, Deep Learning, Data Preprocessing, Environmental Monitoring, Public Health

    4.8
    Rating, 4.8 out of 5 stars
    ·
    248 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Distributed Programming in Java

    Skills you'll gain: Apache Kafka, Apache Spark, Apache Hadoop, Distributed Computing, Java, Software Architecture, Systems Architecture, Programming Principles, Scala Programming, Servers, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    505 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    BIM Fundamentals for Engineers

    Skills you'll gain: Autodesk Revit, Building Information Modeling, Architectural Engineering, Drafting and Engineering Design, Computer-Aided Design, Engineering Documentation, Architectural Design, 3D Modeling, Facility Management, Civil Engineering, Structural Engineering, Technical Standard, HVAC, Electrical Systems, Plumbing, User Interface (UI)

    4.5
    Rating, 4.5 out of 5 stars
    ·
    107 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Questionnaire Design for Social Surveys

    Skills you'll gain: Survey Creation, Surveys, Interviewing Skills, Research Design, Data Collection, Qualitative Research, Research, Research Methodologies, Quantitative Research

    4.5
    Rating, 4.5 out of 5 stars
    ·
    463 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Financial Modeling & Valuation with Excel

    Skills you'll gain: Microsoft Excel, Excel Formulas, Pivot Tables And Charts, Working Capital, Cash Flows, Spreadsheet Software, Income Statement, Financial Analysis, Financial Accounting, Revenue Recognition, Business Valuation, Generally Accepted Accounting Principles (GAAP), Business Reporting, Balance Sheet, Data Visualization, Capital Expenditure, Accounts Receivable, Financial Modeling, Finance, Corporate Finance

    4.7
    Rating, 4.7 out of 5 stars
    ·
    128 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Toronto

    The City and You: Find Your Best Place

    Skills you'll gain: Socioeconomics, Decision Making, Social Impact, Creativity, Sustainable Development, Cultural Diversity, Social Sciences, Innovation, Economics, Global Marketing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    157 reviews

    Beginner · Course · 1 - 3 Months

1…149150151…569

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

  • PyTorch for Deep Learning: DeepLearning.AI
  • The Basics of Trauma Surgery: Technical University of Munich (TUM)
  • How To Visualize Your Data Using Microsoft Powerpoint: Coursera
  • App Design and Development for iOS: University of Toronto
  • اعمل بذكاء أكبر لا بجهد أكثر: إدارة الوقت الشخصي والمهني: University of California, Irvine
  • Leading Change in Health Informatics: Johns Hopkins University
  • AI and Public Health: DeepLearning.AI
  • Distributed Programming in Java: Rice University
  • BIM Fundamentals for Engineers: L&T EduTech
  • Questionnaire Design for Social Surveys: University of Michigan

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