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

    SAP

    SAP Customer Engagement and Discovery

    Skills you'll gain: Stakeholder Engagement, Solution Sales Engineering, Customer Engagement, Consultative Approaches, Stakeholder Communications, Product Roadmaps, Requirements Elicitation, SAP Applications, Technical Consulting, Customer Insights, Process Analysis, Business Analysis, Project Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    123 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Columbia University

    Term-Structure and Credit Derivatives

    Skills you'll gain: Derivatives, Mortgage Loans, Securities (Finance), Credit Risk, Financial Modeling, Risk Modeling, Financial Market, Mathematical Modeling, Securities Trading, Applied Mathematics, Investment Banking, Microsoft Excel, Risk Analysis, Cash Flows, Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    63 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Probability Foundations for Data Science and AI

    Skills you'll gain: Probability & Statistics, Probability, Probability Distribution, Bayesian Statistics, Data Analysis, Statistical Analysis, Sampling (Statistics), Correlation Analysis, Statistical Inference

    Build toward a degree

    4.5
    Rating, 4.5 out of 5 stars
    ·
    278 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The State University of New York

    Big Data, Genes, and Medicine

    Skills you'll gain: Bioinformatics, Big Data, Analytics, Data Mining, Health Informatics, Biomedical Technology, R Programming, Predictive Modeling, Statistical Analysis, Molecular Biology, Feature Engineering, Data Preprocessing, Classification Algorithms

    4.2
    Rating, 4.2 out of 5 stars
    ·
    287 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Infosec

    Computer Forensics

    Skills you'll gain: Digital Forensics, File Systems, Microsoft Windows, Cybersecurity, TCP/IP, Network Protocols, Information Systems Security, File Management, Operating Systems, Data Structures, General Networking, Data Validation, Record Keeping, Data Integrity, Data Storage, Data Analysis Software, User Accounts, USB, Ethical Standards And Conduct, Encryption

    4.7
    Rating, 4.7 out of 5 stars
    ·
    343 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Pricing Strategy

    Skills you'll gain: Price Negotiation, Product Strategy, Revenue Management, Market Dynamics, Marketing Psychology, Consumer Behaviour, Business Marketing, Customer Analysis, Profit and Loss (P&L) Management, Market Research, Sales, Competitive Analysis

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    A

    Arizona State University

    Emotional Intelligence

    Skills you'll gain: Emotional Intelligence, Conflict Management, Empathy, Professional Development, Stress Management, Self-Awareness, Team Management, Resilience, Relationship Building, Decision Making

    4.3
    Rating, 4.3 out of 5 stars
    ·
    67 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    National Taiwan University

    Operations Research (2): Optimization Algorithms

    Skills you'll gain: Operations Research, Linear Algebra, Numerical Analysis, Applied Mathematics, Algorithms, Process Optimization, Engineering Calculations, Program Implementation, Computational Thinking, Operational Analysis, Mathematical Modeling, Resource Allocation, Decision Making, Facility Management, Calculus, Business Analytics

    4.9
    Rating, 4.9 out of 5 stars
    ·
    158 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Principles of fMRI 2

    Skills you'll gain: Magnetic Resonance Imaging, Data Analysis, Analytical Skills, Image Analysis, Statistical Analysis, Advanced Analytics, Network Analysis, Psychology, Time Series Analysis and Forecasting, Matlab, Neurology, Statistical Modeling, Statistical Methods

    4.7
    Rating, 4.7 out of 5 stars
    ·
    249 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    Technical University of Denmark (DTU)

    Introduction to Industrial Bioprocess Development

    Skills you'll gain: Biotechnology, Process Engineering, Chemical and Biomedical Engineering, Chemical Engineering, Sterilization, Biological Engineering, Microbiology, Process Control, Cell Cultures, Production Process, Biochemistry, Scalability, Manufacturing Processes, Process Development, Molecular Biology, Cell Biology, Sterile Procedure

    4.7
    Rating, 4.7 out of 5 stars
    ·
    328 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    CompTIA Network+ Certification (N10-008): The Total Course

    Skills you'll gain: Routing Protocols, TCP/IP, Network Troubleshooting, OSI Models, Network Switches, Data Centers, Virtual Local Area Network (VLAN), Network Protocols, Network Security, Network Routing, Computer Networking, Virtual Machines, Network Monitoring, Wide Area Networks, Virtualization, Wireless Networks, Firewall, Network Model, Networking Hardware, Local Area Networks

    4.8
    Rating, 4.8 out of 5 stars
    ·
    51 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Business intelligence and data analytics: Generate insights

    Skills you'll gain: Systems Thinking, Data Storytelling, Dashboard, Business Ethics, Histogram, Trend Analysis, Forecasting, Data-Driven Decision-Making, Business Intelligence, Data Analysis, Customer Demand Planning, Statistics, Predictive Modeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    464 reviews

    Mixed · Course · 1 - 3 Months

1…168169170…569

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

  • SAP Customer Engagement and Discovery: SAP
  • Term-Structure and Credit Derivatives : Columbia University
  • Probability Foundations for Data Science and AI: University of Colorado Boulder
  • Big Data, Genes, and Medicine: The State University of New York
  • Computer Forensics: Infosec
  • Pricing Strategy: IE Business School
  • Emotional Intelligence: Arizona State University
  • Operations Research (2): Optimization Algorithms: National Taiwan University
  • Principles of fMRI 2: Johns Hopkins University
  • Introduction to Industrial Bioprocess Development: Technical University of Denmark (DTU)

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