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

    Coursera

    Advanced Tricentis Tosca Automation Strategies

    Skills you'll gain: API Testing, Test Automation, Test Case, Test Execution Engine, Application Programming Interface (API), Regression Testing, System Monitoring, Restful API, Continuous Integration, Scenario Testing, Debugging, Continuous Delivery, Jenkins, CI/CD, Test Data, Azure DevOps, Query Languages, Data Validation

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    A

    Alex Genadinik

    Modern Leadership Skills

    Skills you'll gain: Conflict Management, Leadership, Assertiveness, Empathy, Emotional Intelligence, Team Motivation, Business Leadership, Leadership and Management, Strategic Leadership, Verbal Communication Skills, Decision Making, Adaptability, Brand Strategy, Employee Engagement

    Mixed · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Matrix Algebra for Engineers

    Skills you'll gain: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, General Mathematics, Advanced Mathematics, Applied Mathematics, Arithmetic, Computational Logic

    4.9
    Rating, 4.9 out of 5 stars
    ·
    4.6K reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    Technical University of Denmark (DTU)

    Global Environmental Management

    Skills you'll gain: Water Resource Management, Energy and Utilities, Environmental Engineering, Stormwater Management, Environment and Resource Management, Sustainable Technologies, Civil Engineering, Environmental Management Systems, Water Quality, Land Management, Sustainable Development, Cultural Sensitivity, Climate Change Adaptation

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

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    AI Risk: Analyze, Evaluate, Register

    Skills you'll gain: Mitigation, Risk Modeling, Analysis, Personally Identifiable Information, Accountability, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Applied Football Analytics - Looking at real-world cases

    Skills you'll gain: Data Synthesis, Data Integration, Data Literacy, Data Storytelling, Analysis, Case Studies, Business Analytics, Advanced Analytics, Analytical Skills, Strategic Decision-Making, Business Metrics, Forecasting, Media and Communications, Statistics, Persuasive Communication, Databases, Database Design, Innovation

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    N

    Niel Asher Education

    Foundations of Yoga: Building a Strong Practice

    Skills you'll gain: Rehabilitation, Manual Therapy, Exercise Therapy, Physical Therapy, Clinical Practices, Patient Evaluation, Adaptive Equipment, Mindfulness, Sports Medicine, Health And Wellness Coaching, Occupational Therapy, Occupational Safety And Health, Health Education, Health Promotion, Mental Health Therapies, Mental and Behavioral Health, Health Care, Mental Health, Mental and Behavioral Health Specialties, Mental Health Diseases and Disorders

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Principles of fMRI 1

    Skills you'll gain: Magnetic Resonance Imaging, Medical Imaging, Radiology, Research Design, Image Analysis, Experimentation, Neurology, Data Preprocessing, Science and Research, Statistical Analysis, Statistical Modeling, Statistics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    849 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Microeconomics Principles

    Skills you'll gain: Supply And Demand, Economics, Market Dynamics, Behavioral Economics, Resource Allocation, Socioeconomics, Consumer Behaviour, Cost Benefit Analysis, Decision Making, Critical Thinking

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

    Beginner · Course · 1 - 4 Weeks

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

    Google Cloud

    Generative AI Leader

    Skills you'll gain: Prompt Engineering, Generative AI Agents, Google Gemini, Retrieval-Augmented Generation, Responsible AI, Generative AI, Google Cloud Platform, AI Product Strategy, AI Enablement, Google Workspace, Customer Engagement, AI Workflows, Agentic systems, AI Security, Google Docs, Cloud Infrastructure, Cloud Computing, Artificial Intelligence, Data Modeling, Collaboration

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Accounting Operations & Automation

    Skills you'll gain: Cash Flow Forecasting, Variance Analysis, Bookkeeping, Reconciliation, QuickBooks (Accounting Software), Invoicing, Cash Flows, Financial Analysis, Auditing, Process Optimization, Document Management, Microsoft Excel, Data Transformation, Financial Reporting, Compliance Reporting, Compliance Management, AI Enablement, Automation, Data Validation, Process Engineering

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    Universiteit Leiden

    International Law in Action: A Guide to the International Courts and Tribunals in The Hague

    Skills you'll gain: Arbitration, Court Systems, Mediation, Political Sciences, Legal Research, Legal Proceedings, Diplomacy, Case Law, Legal Hearings, Adjudication, International Relations, Civil Law, Case Studies

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

    Mixed · Course · 1 - 3 Months

1…868788…566

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

  • Advanced Tricentis Tosca Automation Strategies: Coursera
  • Modern Leadership Skills : Alex Genadinik
  • Matrix Algebra for Engineers: The Hong Kong University of Science and Technology
  • Global Environmental Management: Technical University of Denmark (DTU)
  • AI Risk: Analyze, Evaluate, Register: Coursera
  • Applied Football Analytics - Looking at real-world cases: Real Madrid Graduate School Universidad Europea
  • Foundations of Yoga: Building a Strong Practice: Niel Asher Education
  • Principles of fMRI 1: Johns Hopkins University
  • Microeconomics Principles: University of Illinois Urbana-Champaign
  • Generative AI Leader: Google Cloud

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