• 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: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Expressway to Data Science: Essential Math

    Skills you'll gain: Linear Algebra, Integral Calculus, Algebra, Numerical Analysis, Calculus, Graphing, Applied Mathematics, Data Science, Mathematical Theory & Analysis, Data Analysis, Statistical Methods, Derivatives

    4.5
    Rating, 4.5 out of 5 stars
    ·
    473 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    Tel Aviv University

    The Emergence of the Modern Middle East - Part I

    Skills you'll gain: World History, Political Sciences, International Relations, European History, Social Sciences, Economics, Governance, Cultural Diversity

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Stanford University

    AI in Healthcare Capstone

    Skills you'll gain: Model Deployment, Health Informatics, Model Evaluation, Clinical Data Management, Healthcare Ethics, Responsible AI, Data Collection, Applied Machine Learning, Health Care Procedure and Regulation, Machine Learning Software, Artificial Intelligence, Performance Tuning, Risk Modeling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    301 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Text Retrieval and Search Engines

    Skills you'll gain: Text Mining, Natural Language Processing, Data Mining, Unstructured Data, Big Data, Web Scraping, Model Evaluation, Web Analytics and SEO, Machine Learning, Information Architecture, Probability & Statistics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    962 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Business English: Basics

    Skills you'll gain: Case Studies, Target Audience, Business Communication, Communication Strategies, Communication, Analysis, English Language, Business Writing, Vocabulary, Writing, Grammar

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Communication Skills for Engineers

    Skills you'll gain: Presentations, Technical Communication, Verbal Communication Skills, Executive Presence, Public Speaking, Engineering Documentation, Business Communication, Concision, Crisis Management, Scientific Visualization, Persuasive Communication, Interpersonal Communications, Communication, Meeting Facilitation, Electronic Media, Communication Strategies, Intercultural Competence, Report Writing, Writing, Engineering Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    884 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Client Needs and Software Requirements

    Skills you'll gain: Requirements Analysis, Requirements Elicitation, Requirements Management, Functional Requirement, Business Requirements, Product Requirements, Backlogs, User Requirements Documents, Scope Management, Change Control, User Story, System Requirements, Client Services, Acceptance Testing, Agile Software Development, Prioritization

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Entrepreneurial Finance: Strategy and Innovation

    Skills you'll gain: Financial Modeling, Blockchain, FinTech, Portfolio Risk, Entrepreneurial Finance, Financial Market, Business Valuation, Risk Management, Excel Formulas, Emerging Technologies, Cryptography, Risk Analysis, Fundraising and Crowdsourcing, Financial Trading, Probability Distribution, R (Software), Financial Analysis, Entrepreneurship, Finance, Microsoft Excel

    4.5
    Rating, 4.5 out of 5 stars
    ·
    1.4K reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Reproducible Research

    Skills you'll gain: Rmarkdown, Knitr, Data Sharing, General Science and Research, Statistical Reporting, Data Analysis, Statistical Analysis, Data Validation, Exploratory Data Analysis, R Programming, Technical Communication, GitHub, Git (Version Control System), Software Documentation

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Linux Fundamentals

    Skills you'll gain: Linux, Linux Commands, Ubuntu, Linux Administration, File Management, Command-Line Interface, Servers, Operating Systems, Web Servers, IT Automation, MySQL, Open Source Technology, Service Management

    4.5
    Rating, 4.5 out of 5 stars
    ·
    950 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Introduction to Biology: Ecology, Evolution, & Biodiversity

    Skills you'll gain: Biology, Environment, Microbiology, Environmental Science, Life Sciences, Environmental Issue, Sustainable Development, Natural Resource Management, Physiology, Molecular Biology, Taxonomy, Cell Biology, Anatomy, Climate Change Adaptation, Estimation, Scientific Methods, Climate Change Mitigation, Experimentation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    273 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Software Architecture

    Skills you'll gain: Software Architecture, Unified Modeling Language, Software Design, Product Family Engineering, Software Systems, Software Development, Software Documentation, Software Design Patterns, Middleware, Maintainability, Application Deployment, Scalability, Databases

    4.5
    Rating, 4.5 out of 5 stars
    ·
    938 reviews

    Intermediate · Course · 1 - 4 Weeks

1…116117118…567

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

  • Expressway to Data Science: Essential Math: University of Colorado Boulder
  • The Emergence of the Modern Middle East - Part I: Tel Aviv University
  • AI in Healthcare Capstone: Stanford University
  • Text Retrieval and Search Engines: University of Illinois Urbana-Champaign
  • Business English: Basics: The Hong Kong University of Science and Technology
  • Communication Skills for Engineers: Rice University
  • Client Needs and Software Requirements : University of Alberta
  • Entrepreneurial Finance: Strategy and Innovation: Duke University
  • Reproducible Research: Johns Hopkins University
  • Linux Fundamentals: LearnQuest

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