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

    DeepLearning.AI

    Natural Language Processing with Sequence Models

    Skills you'll gain: Natural Language Processing, Recurrent Neural Networks (RNNs), Artificial Neural Networks, Deep Learning, Tensorflow, Text Mining, Embeddings, Applied Machine Learning

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Engineering Genetic Circuits

    Skills you'll gain: Biological Engineering, Markov Model, Molecular Biology, Biotechnology, Bioinformatics, Simulation and Simulation Software, Mathematical Modeling, Engineering Analysis, Mathematical Software, Electrical Engineering, Engineering Design Process, Simulations, Biochemistry, Computational Thinking, Failure Analysis, Differential Equations, Cell Biology, Hazard Analysis, Technical Design, Chemical Engineering

    Build toward a degree

    4.5
    Rating, 4.5 out of 5 stars
    ·
    33 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    A

    Alberta Machine Intelligence Institute

    Machine Learning: Algorithms in the Real World

    Skills you'll gain: Supervised Learning, Data Preprocessing, Feature Engineering, Responsible AI, Machine Learning Algorithms, Data Ethics, Applied Machine Learning, Model Evaluation, Data Quality, Classification Algorithms, MLOps (Machine Learning Operations), Model Deployment, Jupyter, Data Validation, Machine Learning, Decision Tree Learning, Business Operations, Data Cleansing, Product Lifecycle Management, Project Management

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    ETL and Data Pipelines with Shell, Airflow and Kafka

    Skills you'll gain: Extract, Transform, Load, Apache Airflow, Data Pipelines, Apache Kafka, Data Warehousing, Data Transformation, Data Migration, Web Scraping, Data Integration, Shell Script, Data Processing, Data Mart, Unix Shell, Big Data, Performance Tuning, Scalability

    4.5
    Rating, 4.5 out of 5 stars
    ·
    444 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Intuit

    Financial Statement Analysis

    Skills you'll gain: Reconciliation, Financial Statements, Financial Statement Analysis, Income Statement, Balance Sheet, Financial Reporting, Financial Analysis, Accounting, Analysis, Business Metrics, General Accounting, Cash Flows, Sales Tax, Accounts Payable, Equities, Payroll

    4.6
    Rating, 4.6 out of 5 stars
    ·
    791 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Copenhagen Business School

    Sustainable Fashion

    Skills you'll gain: Sustainable Business, Corporate Sustainability, Sustainable Development, Environmental Regulations, Sustainable Systems, Sustainability Standards, Business Transformation, Innovation, Regulatory Requirements, Consumer Behaviour, Business Modeling, Environmental Issue, Strategic Partnership, Product Lifecycle Management, Materials Management, Cross-Functional Collaboration, Production Process, Case Studies

    4.8
    Rating, 4.8 out of 5 stars
    ·
    788 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Spacecraft Dynamics and Control

    Skills you'll gain: Control Systems, Vibrations, Mechanics, Torque (Physics), Global Positioning Systems, Linear Algebra, Numerical Analysis, Simulations, Engineering Analysis, Trigonometry, Mathematical Modeling, Differential Equations, Simulation and Simulation Software, Engineering Calculations, Applied Mathematics, Verification And Validation, Engineering, Advanced Mathematics, Algorithms, Physics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    437 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    The 3D Printing Revolution

    Skills you'll gain: 3D Modeling, Emerging Technologies, Business Transformation, Prototyping, Manufacturing and Production, Manufacturing Processes, Design, Business Economics, Materials science, Innovation, Product Development, New Product Development

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    MathWorks

    MathWorks Computer Vision Engineer

    Skills you'll gain: Computer Vision, Model Evaluation, Image Analysis, Model Deployment, Anomaly Detection, Convolutional Neural Networks, Transfer Learning, Deep Learning, Machine Learning Methods, Image Quality, Data Preprocessing, Artificial Neural Networks, Matlab, Applied Machine Learning, PyTorch (Machine Learning Library), Machine Learning, Classification Algorithms, Artificial Intelligence and Machine Learning (AI/ML), Traffic Flow Optimization, Data Visualization

    4.7
    Rating, 4.7 out of 5 stars
    ·
    350 reviews

    Beginner · Professional Certificate · 3 - 6 Months

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

    Arizona State University

    Business English: Management and Leadership

    Skills you'll gain: Meeting Facilitation, Business Communication, Business Correspondence, Telephone Skills, Writing, Employee Coaching, Business Leadership, English Language, Staff Management, Recruitment, Verbal Communication Skills, Team Building, Communication

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

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The George Washington University

    Leading Healthcare Quality and Safety

    Skills you'll gain: Patient Safety, Clinical Leadership, Health Care Administration, Continuous Quality Improvement (CQI), Health Policy, Health Information Management, Health Care, Healthcare Ethics, Health Equity, Public Health and Disease Prevention, Systems Thinking, Collaboration

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

    Beginner · Course · 1 - 3 Months

1…111112113…567

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

  • Natural Language Processing with Sequence Models: DeepLearning.AI
  • Engineering Genetic Circuits: University of Colorado Boulder
  • Machine Learning: Algorithms in the Real World: Alberta Machine Intelligence Institute
  • ETL and Data Pipelines with Shell, Airflow and Kafka: IBM
  • Financial Statement Analysis: Intuit
  • Sustainable Fashion: Copenhagen Business School
  • Spacecraft Dynamics and Control: University of Colorado Boulder
  • The 3D Printing Revolution: University of Illinois Urbana-Champaign
  • MathWorks Computer Vision Engineer: MathWorks
  • Understanding economic policymaking: IE Business School

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