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

    Vanderbilt University

    OpenAI GPTs: Creating Your Own Custom AI Assistants

    Skills you'll gain: Generative AI, AI Personalization, ChatGPT, OpenAI, Artificial Intelligence, Prompt Engineering, LLM Application, Expense Management, Productivity Software, Verification And Validation, Travel Arrangements, Test Case, Interaction Design

    4.8
    Rating, 4.8 out of 5 stars
    ·
    729 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    New York University

    Guided Tour of Machine Learning in Finance

    Skills you'll gain: Supervised Learning, Model Evaluation, Applied Machine Learning, Machine Learning, Statistical Methods, Artificial Neural Networks, Predictive Modeling, Scikit Learn (Machine Learning Library), Regression Analysis, Deep Learning, Finance, Financial Market, Tensorflow, Logistic Regression, Jupyter, Reinforcement Learning

    3.8
    Rating, 3.8 out of 5 stars
    ·
    681 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Pennsylvania

    Introduction to Key Constitutional Concepts and Supreme Court Cases

    Skills you'll gain: Legal Proceedings, Civil Procedures, Court Systems, Social Studies, Civil Law, Political Sciences, Case Law, Legal Research, Social Justice, Governance, Case Studies, Diversity Equity and Inclusion Initiatives

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    Lund University

    European Business Law: Understanding the Fundamentals

    Skills you'll gain: Legal Research, Law, Regulation, and Compliance, International Relations, Compliance Management, Environmental Laws, Public Policies, Case Law, Commercial Laws, Economics, Governance

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Cluster Analysis in Data Mining

    Skills you'll gain: Unsupervised Learning, Data Mining, Applied Machine Learning, Machine Learning Algorithms, Model Evaluation, Statistical Methods, Algorithms, Data Structures, Data Visualization

    4.5
    Rating, 4.5 out of 5 stars
    ·
    408 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft PL-300 Exam Preparation and Practice

    Skills you'll gain: Power BI, Microsoft Copilot, Data Visualization Software, Data Storytelling, Data Modeling, Interactive Data Visualization, Data Analysis, Microsoft Power Platform, Asset Management, Data Manipulation, Data Transformation, Microsoft 365, Data Cleansing, Data Import/Export, Data Quality

    4.6
    Rating, 4.6 out of 5 stars
    ·
    632 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    R

    Rutgers the State University of New Jersey

    Procurement & Sourcing Introduction

    Skills you'll gain: Supplier Management, Procurement, Supplier Relationship Management, Strategic Sourcing, Supply Management, Supply Chain Management

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

    Beginner · Course · 1 - 4 Weeks

  • U

    University of New Mexico

    Web Application Development: Basic Concepts

    Skills you'll gain: Web Applications, Full-Stack Web Development, Git (Version Control System), Middleware, Software Architecture, User Interface (UI), Agile Software Development, Application Frameworks, Ajax, Model View Controller, Databases, Relational Databases, Software Development, Ruby on Rails, Software Design Patterns, Cascading Style Sheets (CSS), Javascript

    4.3
    Rating, 4.3 out of 5 stars
    ·
    184 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of California, Irvine

    Basics of Extracellular Vesicles

    Skills you'll gain: Specimen Collection, Specimen Processing, Specimen Preparation, Medical Laboratory, Laboratory Testing, Cell Cultures, Biochemical Assays, Cell Biology, Analytical Chemistry, Laboratory Research, Molecular, Cellular, and Microbiology, Molecular Biology, Biomedical Technology, Laboratory Equipment, Biology

    4.7
    Rating, 4.7 out of 5 stars
    ·
    355 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Developing Innovative Ideas for New Companies: The First Step in Entrepreneurship

    Skills you'll gain: Business Modeling, Strategic Decision-Making, Entrepreneurship, Market Opportunities, Ideation, Innovation, Business Strategies, Customer Insights, Market Analysis, New Business Development, Competitive Analysis, Value Propositions

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Virginia

    Managerial Accounting Fundamentals

    Skills you'll gain: Management Accounting, Cost Accounting, Operating Cost, Cost Benefit Analysis, Cost Management, Budget Management, Financial Accounting, Financial Data, Financial Analysis, Decision Making, Resource Allocation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    843 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Linux Server Management and Security

    Skills you'll gain: Linux Administration, Linux, Linux Servers, Operating System Administration, User Accounts, Linux Commands, User Provisioning, Systems Administration, System Configuration, Hardening, Security Controls, Authorization (Computing), Computer Security, Network Administration, Authentications

    4.6
    Rating, 4.6 out of 5 stars
    ·
    919 reviews

    Intermediate · Course · 1 - 3 Months

1…112113114…567

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

  • OpenAI GPTs: Creating Your Own Custom AI Assistants: Vanderbilt University
  • Guided Tour of Machine Learning in Finance: New York University
  • Introduction to Key Constitutional Concepts and Supreme Court Cases: University of Pennsylvania
  • European Business Law: Understanding the Fundamentals: Lund University
  • Cluster Analysis in Data Mining: University of Illinois Urbana-Champaign
  • Microsoft PL-300 Exam Preparation and Practice: Microsoft
  • Procurement & Sourcing Introduction: Rutgers the State University of New Jersey
  • Web Application Development: Basic Concepts: University of New Mexico
  • Basics of Extracellular Vesicles: University of California, Irvine
  • Developing Innovative Ideas for New Companies: The First Step in Entrepreneurship: University of Maryland, College Park

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