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

    New York Institute of Finance

    Using Machine Learning in Trading and Finance

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Financial Trading, Data Pipelines, Applied Machine Learning, Technical Analysis, Machine Learning, Securities Trading, Statistical Machine Learning, Market Trend, Financial Market, Deep Learning, Python Programming, Predictive Modeling, Model Evaluation, Time Series Analysis and Forecasting

    3.9
    Rating, 3.9 out of 5 stars
    ·
    375 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Managing Data Analysis

    Skills you'll gain: Exploratory Data Analysis, Statistical Reporting, Data Analysis, Data Presentation, Data Management, Data Strategy, Team Management, Workflow Management, Analytical Skills, Team Leadership, Statistical Inference, Statistical Modeling, Communication

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Understanding economic policymaking

    Skills you'll gain: Financial Policy, Public Policies, Economics, Economics, Policy, and Social Studies, Tax, International Finance, Policy Analysis, Crisis Management, Fiscal Management, Financial Systems, Supply And Demand, Financial Market

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    SAS

    SAS Statistical Business Analyst

    Skills you'll gain: Logistic Regression, SAS (Software), Predictive Modeling, Model Evaluation, Predictive Analytics, Statistical Hypothesis Testing, Statistical Analysis, Correlation Analysis, Statistical Modeling, Regression Analysis, Statistical Methods, Probability & Statistics, Classification And Regression Tree (CART), Big Data, Plot (Graphics), Data Analysis, Model Deployment, Statistical Inference, Statistical Machine Learning, Feature Engineering

    4.6
    Rating, 4.6 out of 5 stars
    ·
    228 reviews

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    TensorFlow 2 for Deep Learning

    Skills you'll gain: Tensorflow, Recurrent Neural Networks (RNNs), Autoencoders, Generative Model Architectures, Data Pipelines, Keras (Neural Network Library), Model Evaluation, Deep Learning, Image Analysis, Transfer Learning, Convolutional Neural Networks, Applied Machine Learning, Bayesian Statistics, Supervised Learning, Natural Language Processing, Computer Vision, Model Deployment, Artificial Neural Networks, Data Preprocessing, Probability Distribution

    4.8
    Rating, 4.8 out of 5 stars
    ·
    720 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
    I

    IBM

    Supervised Machine Learning: Regression

    Skills you'll gain: Supervised Learning, Regression Analysis, Applied Machine Learning, Predictive Modeling, Machine Learning, Machine Learning Algorithms, Statistical Modeling, Logistic Regression, Scikit Learn (Machine Learning Library), Model Evaluation, Data Preprocessing, Feature Engineering, Statistical Analysis, Classification Algorithms

    4.7
    Rating, 4.7 out of 5 stars
    ·
    818 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Managing Social and Human Capital

    Skills you'll gain: Human Capital, People Management, Leadership and Management, Leadership Studies, Decision Making, Organizational Structure, Organizational Effectiveness, Organizational Change, Employee Performance Management, Performance Management, Team Motivation, Compensation Management, Change Management, Job Analysis, Recruitment

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Teach English Now! Capstone Project 2

    Skills you'll gain: Digital pedagogy

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    New York Institute of Finance

    Introduction to Risk Management

    Skills you'll gain: Risk Management, Business Risk Management, Risk Modeling, Operational Risk, Enterprise Risk Management (ERM), Credit Risk, Risk Analysis, Portfolio Management, Capital Markets, Financial Market, Financial Regulation, Financial Modeling, Market Liquidity, Probability Distribution

    4.7
    Rating, 4.7 out of 5 stars
    ·
    832 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Toronto

    Mind Control: Managing Your Mental Health During COVID-19

    Skills you'll gain: Stress Management, Mental Health, Resilience, Crisis Intervention, Mindfulness, Cognitive Behavioral Therapy, Behavior Management, Preventative Care, Empathy, Psychology, Social Skills

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Toronto

    iOS App Development with Swift

    Skills you'll gain: Apple iOS, Swift Programming, iOS Development, Model View Controller, Apple Xcode, Mobile Development, User Interface (UI), Application Design, Application Development, Objective-C (Programming Language), UI Components, Animations, User Interface and User Experience (UI/UX) Design, Object Oriented Programming (OOP), Application Frameworks, Interaction Design, Programming Principles, Data Persistence, Integrated Development Environments, Persistence

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

    Intermediate · Specialization · 3 - 6 Months

1…115116117…570

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

  • Using Machine Learning in Trading and Finance: New York Institute of Finance
  • Managing Data Analysis: Johns Hopkins University
  • Understanding economic policymaking: IE Business School
  • SAS Statistical Business Analyst: SAS
  • TensorFlow 2 for Deep Learning: Imperial College London
  • The Emergence of the Modern Middle East - Part I: Tel Aviv University
  • Supervised Machine Learning: Regression: IBM
  • Managing Social and Human Capital: University of Pennsylvania
  • Teach English Now! Capstone Project 2: Arizona State University
  • Introduction to Risk Management: New York Institute of Finance

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