• 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: Free Trial
    Free Trial
    C

    Creo Incubator

    Entrepreneuriat : Idéation et exploration des fondamentaux

    Skills you'll gain: Design Thinking, Value Propositions, Business Modeling, Entrepreneurship, Ideation, Lean Methodologies, Adaptability, Innovation, Problem Solving, New Product Development, Customer Analysis, Decision Making, Critical Thinking

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Embedding Sensors and Motors

    Skills you'll gain: Control Systems, Process Control, Machine Controls, Engineering, Scientific, and Technical Instruments, Embedded Systems, Electronic Hardware, Embedded Software, Automation Engineering, Hardware Design, Electronics Engineering, Manufacturing Processes, Basic Electrical Systems, Electronic Systems, Electronics, Electrical Systems, Electrical and Computer Engineering, Electronic Components, Power Electronics, Three-Phase, Torque (Physics)

    Build toward a degree

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    M

    Macquarie University

    Blockchains and Cryptocurrencies Fundamentals

    Skills you'll gain: Application Deployment, Encryption, Web Applications, Business Process, Digital Assets, Transaction Processing, Automation, Data Integrity, Algorithms

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Applied Financial Analysis

    Skills you'll gain: Financial Modeling, Variance Analysis, Key Performance Indicators (KPIs), Bookkeeping, Financial Forecasting, Revenue Forecasting, Budget Management, Financial Statement Analysis, Business Reporting, Dashboard, Capital Budgeting, Financial Controls, Financial Reporting, Financial Analysis, Process Improvement, Financial Services, Financial Data, Investments, Predictive Analytics, Data-Driven Decision-Making

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Linear Algebra: Linear Systems and Matrix Equations

    Skills you'll gain: Linear Algebra, Algebra, Advanced Mathematics, Mathematical Modeling, Engineering Analysis, Applied Mathematics, Mathematical Theory & Analysis, Geometry

    4.7
    Rating, 4.7 out of 5 stars
    ·
    164 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    Mindware: Critical Thinking for the Information Age

    Skills you'll gain: Data Analysis, Analytical Skills, Experimentation, Critical Thinking, Research Design, Behavioral Economics, Decision Making, Regression Analysis, Statistical Inference, Probability, Correlation Analysis, Adaptability

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

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    Eindhoven University of Technology

    Ethics, Technology and Engineering

    Skills you'll gain: Ethical Standards And Conduct, Engineering Design Process, Business Ethics, Risking, Engineering Practices, Research, Value Engineering, Social Impact

    4.6
    Rating, 4.6 out of 5 stars
    ·
    828 reviews

    Beginner · Course · 1 - 3 Months

  • U

    University of Colorado Boulder

    Master of Engineering in Engineering Management

    Skills you'll gain: User Story, New Product Development, Real-Time Operating Systems, Model Based Systems Engineering, Model Evaluation, Field-Programmable Gate Array (FPGA), Failure Analysis, Sustainable Business, Data Mining, Delegation Skills, Object Oriented Design, Sampling (Statistics), Proposal Writing, Supplier Management, Accountability, Data Ethics, Sustainability Reporting, Database Design, Generative AI, Sustainable Design

    Earn a degree

    Degree · 1 - 4 Years

  • Status: New
    New
    Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    Generative AI & AI Agent Organizational Strategy for Leaders

    Skills you'll gain: AI Enablement, AI Product Strategy, Agentic systems, Workforce Management, Scalability, Workforce Planning, Decision Making

    4.4
    Rating, 4.4 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Integrated Marketing Communications: Advertising, Public Relations, Digital Marketing and more

    Skills you'll gain: Marketing Communications, Integrated Marketing Communications, Advertising, Marketing, Marketing Budgets, Brand Marketing, Communication Planning, Marketing Planning, Brand Strategy, Brand Management, Brand Loyalty, Branding, Marketing Management, Campaign Management, Marketing Strategy and Techniques, Media Planning, Brand Awareness, Promotional Strategies, Consumer Behaviour, Communication

    Build toward a degree

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Driving business towards the Sustainable Development Goals

    Skills you'll gain: Sustainable Development, Sustainable Business, Corporate Sustainability, Environmental Social And Corporate Governance (ESG), Sustainability Reporting, Social Impact, Business Ethics, Environmental Issue, Systems Thinking, Strategic Partnership, Entrepreneurship, Innovation, Collaboration, Climate Change Mitigation, Complex Problem Solving

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Introduction to AI and Machine Learning on Google Cloud

    Skills you'll gain: Generative AI, Google Cloud Platform, MLOps (Machine Learning Operations), Prompt Engineering, Tensorflow, AI Workflows, Cloud Infrastructure, Artificial Intelligence, Big Data, Model Deployment, Machine Learning, Supervised Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    310 reviews

    Beginner · Course · 1 - 3 Months

1…899091…566

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

  • Entrepreneuriat : Idéation et exploration des fondamentaux: Creo Incubator
  • Embedding Sensors and Motors: University of Colorado Boulder
  • Blockchains and Cryptocurrencies Fundamentals: Macquarie University
  • Applied Financial Analysis: Coursera
  • Linear Algebra: Linear Systems and Matrix Equations: Johns Hopkins University
  • Mindware: Critical Thinking for the Information Age : University of Michigan
  • Ethics, Technology and Engineering : Eindhoven University of Technology
  • Master of Engineering in Engineering Management: University of Colorado Boulder
  • Generative AI & AI Agent Organizational Strategy for Leaders: Vanderbilt University
  • Integrated Marketing Communications: Advertising, Public Relations, Digital Marketing and more: 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