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

    IE Business School

    Intelligence Tools for the Digital Age

    Skills you'll gain: Intelligence Collection and Analysis, Strategic Thinking, Competitive Intelligence, Critical Thinking, Analysis, Business Intelligence, Digital Transformation, Timelines, Decision Making, Trend Analysis, Stakeholder Analysis, Business Strategy, Complex Problem Solving, International Relations, Empathy & Emotional Intelligence, Forecasting, Artificial Intelligence

    4.6
    Rating, 4.6 out of 5 stars
    ·
    678 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Geneva

    Planning your Client's Wealth over a 5-year Horizon

    Skills you'll gain: Wealth Management, Portfolio Management, Asset Management, Financial Planning, Investment Management, Investments, Performance Measurement, Financial Forecasting, Finance, Behavioral Economics, Risk Management, Market Trend, Risk Analysis, Decision Making, Microsoft Excel

    4.7
    Rating, 4.7 out of 5 stars
    ·
    419 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Best Practices for iOS User Interface Design

    Skills you'll gain: Apple iOS, Model View Controller, Core Data (Software), User Interface (UI) Design, UI Components, Responsive Web Design, Mobile Development, Human Computer Interaction, UI/UX Strategy, Data Mapping, Animations, Storyboarding

    4.5
    Rating, 4.5 out of 5 stars
    ·
    189 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Database Architecture and NoSQL at Scale with Deno

    Skills you'll gain: NoSQL, Database Architecture and Administration, Cloud Applications, Database Management Systems, Data Store, Databases, PostgreSQL, Relational Databases, SQL, Cloud Deployment, Transaction Processing, Scalability, Application Deployment, JSON, Javascript

    4.3
    Rating, 4.3 out of 5 stars
    ·
    147 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad de Palermo

    Psicología de la Percepción

    Skills you'll gain: Psychology, Anatomy, Human Learning, Case Studies, Neurology, Experimentation, Scientific Methods, Mental and Behavioral Health

    4.9
    Rating, 4.9 out of 5 stars
    ·
    171 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Spring Data Repositories

    Skills you'll gain: Spring Framework, Object-Relational Mapping, Transaction Processing, Data Persistence, Database Systems, Java, Restful API, Web Services, Web Applications

    3.9
    Rating, 3.9 out of 5 stars
    ·
    47 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The Chinese University of Hong Kong

    Intellectual Change in Early China: Warring States and Han

    Skills you'll gain: Culture, Social Sciences, Liberal Arts, World History, Ancient History, Research, Political Sciences, Psychology, Economics, Governance

    4.7
    Rating, 4.7 out of 5 stars
    ·
    124 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Computer Simulations

    Skills you'll gain: Simulations, Social Sciences, Systems Thinking, Agentic systems, Social Network Analysis, Model Evaluation, Sociology, Economics, Scientific Methods, Computer Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    84 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Amazon Web Services

    Getting Started with AWS Generative AI for Developers

    Skills you'll gain: Amazon Bedrock, Prompt Engineering, Responsible AI, Generative AI, Large Language Modeling, LLM Application, Embeddings, Model Deployment, Artificial Intelligence, Application Programming Interface (API)

    4.5
    Rating, 4.5 out of 5 stars
    ·
    43 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    What is Climate Change?

    Skills you'll gain: Climate Change Adaptation, Persuasive Communication, Environmental Issue, Media and Communications, Environmental Policy, Climate Change Mitigation, Social Sciences, Scientific Methods, Environmental Resource Management, Political Sciences, Environmental Science, Hydrology, Energy and Utilities

    4.8
    Rating, 4.8 out of 5 stars
    ·
    166 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Statistical Learning for Data Science

    Skills you'll gain: Model Evaluation, Statistical Modeling, Applied Machine Learning, Unsupervised Learning, Statistical Machine Learning, Classification And Regression Tree (CART), Data Science, Decision Tree Learning, Statistical Methods, Artificial Neural Networks, Statistical Analysis, Regression Analysis, Predictive Modeling, Classification Algorithms, Supervised Learning, R Programming, Machine Learning Algorithms, Dimensionality Reduction, Machine Learning, Random Forest Algorithm

    Build toward a degree

    4
    Rating, 4 out of 5 stars
    ·
    19 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    G

    Genentech

    Data Science in Health Technology Assessment

    Skills you'll gain: Cost Benefit Analysis, Data-Driven Decision-Making, Health Assessment, Decision Making, Health Technology, Health Care, Pharmaceutical Terminology, Medical Terminology, Model Evaluation, Quality Assessment

    4.4
    Rating, 4.4 out of 5 stars
    ·
    22 reviews

    Intermediate · Course · 1 - 4 Weeks

1…206207208…574

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

  • Intelligence Tools for the Digital Age : IE Business School
  • Planning your Client's Wealth over a 5-year Horizon: University of Geneva
  • Best Practices for iOS User Interface Design: University of California, Irvine
  • Database Architecture and NoSQL at Scale with Deno: University of Michigan
  • Psicología de la Percepción: Universidad de Palermo
  • Spring Data Repositories: LearnQuest
  • Intellectual Change in Early China: Warring States and Han: The Chinese University of Hong Kong
  • Computer Simulations: University of California, Davis
  • Getting Started with AWS Generative AI for Developers: Amazon Web Services
  • What is Climate Change?: University of Colorado Boulder

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