• 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: New
    New
    Status: Preview
    Preview
    U

    University of Washington

    Power BI Basics: Requirements to Visualizations

    Skills you'll gain: Power BI, Data Modeling, Data Transformation, Business Requirements, Star Schema, Data Visualization Software, Snowflake Schema, Relational Databases, Data Integration, Database Design, Data Import/Export, Data Cleansing, Data Analysis Expressions (DAX), Business Intelligence, Data Analysis, Stakeholder Management, Decision Making

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Risk Management and Financial Theory

    Skills you'll gain: Risk Management, Business Risk Management, Credit Risk, Stakeholder Communications, Operational Risk, Proposal Development, Risk Analysis, Business Strategies, Financial Forecasting, Financial Analysis, Financial Modeling, Strategic Thinking, Strategic Decision-Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    41 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    API Development and Architecture

    Skills you'll gain: API Design, API Gateway, Application Programming Interface (API), Postman API Platform, Restful API, API Testing, Data Validation, Authentications, OAuth, Cloud API, Microservices, Application Deployment, CI/CD, Authorization (Computing), Secure Coding, Application Frameworks, Performance Tuning, Application Lifecycle Management, Prometheus (Software), Grafana

    3.6
    Rating, 3.6 out of 5 stars
    ·
    7 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    UBITS

    Técnicas para un aprendizaje efectivo

    Skills you'll gain: Human Learning, Learning Strategies, Quick Learning, Learning Theory, Lifelong Learning, Mental Concentration, Willingness To Learn, Cognitive flexibility, Productivity, Scientific Methods

    4.8
    Rating, 4.8 out of 5 stars
    ·
    137 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    N

    Northeastern University

    Intro to Managing Healthcare Supply Chain Operations

    Skills you'll gain: Quality Management, Lean Methodologies, Process Improvement, Operations Management, Process Management, Performance Improvement, Supply Chain Management, Supply Chain, Business Process, Process Analysis, Waste Minimization, Operational Efficiency, Quality Assessment, Project Management, Six Sigma Methodology, Healthcare Industry Knowledge

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Google Cloud でのバッチデータ パイプラインの構築

    Skills you'll gain: Data Pipelines, Dataflow, Google Cloud Platform, Data Quality, Extract, Transform, Load, Data Warehousing, Data Cleansing, Scalability, Data Validation, Performance Tuning, Data Processing, Apache Spark, Big Data, Data Transformation, Serverless Computing, Debugging

    4.4
    Rating, 4.4 out of 5 stars
    ·
    30 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    University of California, Davis

    Estimating and Bidding in Construction

    Skills you'll gain: Construction Estimating, Engineering Plans And Specifications, Blueprint Reading, Architectural Drawing, Cost Estimation, Building Information Modeling, Project Estimation, Risk Management, Project Risk Management, Cost Management, Project Controls, Engineering Drawings, Construction Management, Estimation, Bidding, Design Specifications, Construction, Risk Analysis, Presentations, Business Communication

    4.3
    Rating, 4.3 out of 5 stars
    ·
    8 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Customer Data Analytics for Marketers

    Skills you'll gain: Marketing Analytics, Probability & Statistics, Statistical Methods, Regression Analysis, Data-Driven Decision-Making, Data Ethics, Statistical Analysis, Marketing Effectiveness, Statistical Hypothesis Testing, Customer Insights, Customer Analysis, Correlation Analysis, Descriptive Statistics, Data Analysis, Analytics, Marketing Strategies, Exploratory Data Analysis, Statistical Visualization, Statistical Modeling

    4.9
    Rating, 4.9 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Identity and Access Management (IAM)

    Skills you'll gain: Identity and Access Management, Authentications, AWS Identity and Access Management (IAM), User Provisioning, OAuth, User Accounts, Security Controls, Role-Based Access Control (RBAC), Authorization (Computing), Single Sign-On (SSO), Cryptographic Protocols

    4.7
    Rating, 4.7 out of 5 stars
    ·
    20 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Credit Risk Modeling & its Application in Banks

    Skills you'll gain: Credit Risk, Risk Modeling, Financial Modeling, Portfolio Risk, Lending and Underwriting, Risk Management, Bank Regulations, Regulatory Compliance, Financial Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    17 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Crea tu artículo científico con latex

    Skills you'll gain: Research Reports, Technical Documentation, Technical Writing, Scientific Methods, Engineering Documentation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    107 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • C

    Coursera

    Machine Learning with PySpark: Customer Churn Analysis

    Skills you'll gain: Model Evaluation, Data Preprocessing, Exploratory Data Analysis, Feature Engineering, Model Deployment, Data Analysis, PySpark, Data Import/Export, Data Transformation, Apache Spark, Decision Tree Learning, Customer Analysis, Predictive Modeling, Predictive Analytics, Machine Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Guided Project · Less Than 2 Hours

1…327328329…581

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

  • Power BI Basics: Requirements to Visualizations : University of Washington
  • Risk Management and Financial Theory: Duke University
  • API Development and Architecture: Edureka
  • Técnicas para un aprendizaje efectivo: UBITS
  • Intro to Managing Healthcare Supply Chain Operations: Northeastern University
  • Google Cloud でのバッチデータ パイプラインの構築: Google Cloud
  • Estimating and Bidding in Construction: University of California, Davis
  • Customer Data Analytics for Marketers: University of Colorado System
  • Identity and Access Management (IAM): Packt
  • Credit Risk Modeling & its Application in Banks: EDUCBA

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