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

    Alberta Machine Intelligence Institute

    Data for Machine Learning

    Skills you'll gain: Feature Engineering, Data Preprocessing, Model Evaluation, Data Quality, Supervised Learning, Data Validation, Data Cleansing, Data Ethics, Applied Machine Learning, Machine Learning, Unsupervised Learning, Machine Learning Algorithms, Python Programming, Computer Programming, Linear Algebra, Statistical Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    98 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Computer Vision

    Skills you'll gain: Computer Vision, Image Analysis, Autoencoders, Convolutional Neural Networks, Vision Transformer (ViT), Generative Adversarial Networks (GANs), Computer Graphics, Recurrent Neural Networks (RNNs), Multimodal Prompts, Computer Science, Visualization (Computer Graphics), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Model Deployment, Data Ethics, Embeddings, Deep Learning, Applied Machine Learning, Data Processing, Linear Algebra

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    41 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Introduction to Relational Databases

    Skills you'll gain: Database Systems, Relational Databases, Database Management, Database Theory, Databases, SQL, Database Design, Database Management Systems, Database Architecture and Administration, Data Access, Query Languages, Data Modeling, Data Manipulation, User Accounts

    Build toward a degree

    4.5
    Rating, 4.5 out of 5 stars
    ·
    33 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Using Descriptive Statistics to Analyze Data in R

    Skills you'll gain: Descriptive Statistics, R Programming, Statistical Reporting, Data Quality, Data Preprocessing, Statistics, Statistical Methods, Data Manipulation, Data Analysis Software, Data Import/Export

    4.6
    Rating, 4.6 out of 5 stars
    ·
    93 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free
    Free
    S

    Sciences Po

    Cities are back in town : urban sociology for a globalizing urban world

    Skills you'll gain: Sociology, Sustainable Development, Social Sciences, Demography, Social Justice, International Relations, Cultural Diversity, World History, Technology Strategies, Governance, Policy Analysis, Economics, Innovation, European History

    4.4
    Rating, 4.4 out of 5 stars
    ·
    190 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Cybersecurity Risk Management Frameworks

    Skills you'll gain: Risk Management, Cyber Governance, Cost Benefit Analysis, Security Management, Risk Management Framework, Vulnerability Management, Cyber Attacks, Cybersecurity, Threat Management, Cyber Risk, Operational Risk, Risk Analysis, Enterprise Risk Management (ERM), Business Risk Management, Risk Mitigation, Cyber Threat Intelligence, Vulnerability Assessments, ISO/IEC 27001, Threat Detection, Threat Modeling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    199 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    S

    Sapienza University of Rome

    Egypt before and after pharaohs.

    Skills you'll gain: Ancient History, Art History, World History, Cultural Diversity, Culture, Anthropology

    4.5
    Rating, 4.5 out of 5 stars
    ·
    164 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Developing Explainable AI (XAI)

    Skills you'll gain: Responsible AI, Data Ethics, AI Security, Generative AI, Artificial Intelligence, AI Product Strategy, Machine Learning, Machine Learning Methods, Model Evaluation, Data Literacy, Artificial Neural Networks, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    54 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Profit Analysis using Economic Value Added

    Skills you'll gain: Financial Statement Analysis, Financial Analysis, Return On Investment, Profit and Loss (P&L) Management, Financial Modeling, Performance Metric, Accounting, Finance, Operating Expense, Investments

    4.6
    Rating, 4.6 out of 5 stars
    ·
    210 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    University of Arizona

    Knowing the Universe: History and Philosophy of Astronomy

    Skills you'll gain: Ancient History, Physics, Mechanics, Physical Science, Science and Research, World History, Research, Scientific Methods, Chemistry, Biology

    4.7
    Rating, 4.7 out of 5 stars
    ·
    43 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Increasing Real Estate Management Profits: Harnessing Data Analytics

    Skills you'll gain: Data Visualization Software, Tableau Software, Financial Modeling, Business Process, Peer Review, Presentations, Property Management, Data Analysis, MySQL, Risk Analysis, Real Estate, Financial Analysis, Microsoft Excel, Profit and Loss (P&L) Management, Analytics, SQL

    4.7
    Rating, 4.7 out of 5 stars
    ·
    244 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    EDUCBA

    Introduction to CATIA V5

    Skills you'll gain: Technical Drawing, Engineering Drawings, Mechanical Drawings, Computer Aided Three-Dimensional Interactive Application (CATIA), Assembly Drawing, 3D Modeling, Mechanical Design, Drafting and Engineering Design, Computer-Aided Design, Visualization (Computer Graphics), File Management, Engineering Design Process, Interoperability

    4.7
    Rating, 4.7 out of 5 stars
    ·
    204 reviews

    Beginner · Course · 1 - 3 Months

1…211212213…574

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

  • Data for Machine Learning: Alberta Machine Intelligence Institute
  • Computer Vision: University of Colorado Boulder
  • Introduction to Relational Databases: Illinois Tech
  • Using Descriptive Statistics to Analyze Data in R: Coursera
  • Cities are back in town : urban sociology for a globalizing urban world : Sciences Po
  • Cybersecurity Risk Management Frameworks: Kennesaw State University
  • Egypt before and after pharaohs. : Sapienza University of Rome
  • Developing Explainable AI (XAI): Duke University
  • Profit Analysis using Economic Value Added: Coursera
  • Knowing the Universe: History and Philosophy of Astronomy: University of Arizona

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