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

    Fundação Instituto de Administração

    Strategic Management

    Skills you'll gain: Strategic Decision-Making, Competitive Analysis, Organizational Strategy, Business Strategy, Plan Execution, Sustainable Business, Corporate Strategy, Strategic Thinking, Business Management, Case Studies, Corporate Sustainability, Market Analysis, Business Analysis, Crisis Management, Supplier Management, Supplier Relationship Management, Continuous Monitoring

    4.9
    Rating, 4.9 out of 5 stars
    ·
    28 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    F

    Fundação Instituto de Administração

    Liderança Estratégica

    Skills you'll gain: Strategic Leadership, Leadership, Leadership Development, Organizational Leadership, Business Leadership, Organizational Strategy, Business Ethics, People Development, Organizational Change, Business Strategy, Innovation, Change Management, Culture, Decision Making

    4.6
    Rating, 4.6 out of 5 stars
    ·
    33 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    American Council on Exercise

    Goal Setting for Personal Trainers

    Skills you'll gain: Goal Setting, Health And Wellness Coaching, Smart Goals, Patient Education And Counseling, Workplace inclusivity, Motivational Interviewing, Patient Communication, Active Listening, Coaching, Ethical Standards And Conduct, Patient Evaluation, Exercise Science, Health Assessment, Behavior Management, Interpersonal Communications, Professionalism, Relationship Building

    4.3
    Rating, 4.3 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Statistics with Python Using NumPy, Pandas, and SciPy

    Skills you'll gain: Statistics, Data Analysis, Statistical Programming, Descriptive Statistics, Exploratory Data Analysis, Python Programming

    Intermediate · Course · 1 - 4 Weeks

  • A

    Amazon Web Services

    Serverless Architectures on AWS

    Skills you'll gain: AWS CloudFormation, Serverless Computing, Infrastructure as Code (IaC), Amazon Web Services, API Gateway, Application Programming Interface (API), Cloud Infrastructure, Event-Driven Programming, Cloud Deployment, Authentications, Amazon S3, Automation, Amazon DynamoDB, Scalability

    4.9
    Rating, 4.9 out of 5 stars
    ·
    21 reviews

    Beginner · Course · 1 - 4 Weeks

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

    Edureka

    Design AI Agents with OpenAI AgentKit

    Skills you'll gain: AI Workflows, OpenAI API, LLM Application, OpenAI, Model Context Protocol, Generative AI Agents, Agentic systems, Tool Calling, Prompt Engineering, ChatGPT, Artificial Intelligence, Application Programming Interface (API), User Interface (UI), Context Management, Large Language Modeling, Python Programming, Development Environment, Application Deployment, Debugging

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    RESTful Web Services with JAX-RS

    Skills you'll gain: Restful API, Web Services, Java Platform Enterprise Edition (J2EE), Software Design, Java, Application Programming Interface (API), API Design, JSON, Web Applications, Software Architecture

    4.3
    Rating, 4.3 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Organizational innovation and creativity

    Skills you'll gain: Design Thinking, Innovation, Creative Problem-Solving, Ideation, Process Development, Creative Thinking, New Product Development, Creativity, Lean Methodologies, Customer experience improvement, Customer Engagement, Product Lifecycle Management, Business Modeling, Value Propositions

    4.6
    Rating, 4.6 out of 5 stars
    ·
    16 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    P

    Peking University

    面向对象技术高级课程(The Advanced Object-Oriented Technology)

    Skills you'll gain: Object Oriented Design, Systems Analysis, Object Oriented Programming (OOP), Unified Modeling Language, Program Development, C and C++, Requirements Analysis, C++ (Programming Language), Software Design, Software Development, Software Architecture, C# (Programming Language), Software Development Methodologies, Java Programming, Systems Design, Technical Design, Human Computer Interaction

    4.5
    Rating, 4.5 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    D

    Dassault Systèmes

    Practice CATIA Part Design

    Skills you'll gain: Computer Aided Three-Dimensional Interactive Application (CATIA), 3D Modeling, Design Software

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Intro to WordPress Development

    Skills you'll gain: WordPress, Ajax, Development Environment, Content Management Systems, Web Development, Data Management, PHP (Scripting Language), Database Development, MySQL, Javascript and jQuery, Information Architecture, Database Management, Cascading Style Sheets (CSS), Application Security, User Accounts, Data Validation

    Intermediate · Specialization · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    ChatGPT API for Developers: Integrate AI Effortlessly

    Skills you'll gain: Prompt Engineering, OpenAI API, ChatGPT, Application Programming Interface (API), API Design, Authentications, Large Language Modeling, Key Management, JSON, Model Evaluation, Performance Tuning

    4
    Rating, 4 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 3 Months

1…392393394…584

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

  • Strategic Management: Fundação Instituto de Administração
  • Liderança Estratégica: Fundação Instituto de Administração
  • Goal Setting for Personal Trainers: American Council on Exercise
  • Statistics with Python Using NumPy, Pandas, and SciPy: University of Michigan
  • Serverless Architectures on AWS: Amazon Web Services
  • Design AI Agents with OpenAI AgentKit: Edureka
  • RESTful Web Services with JAX-RS: LearnQuest
  • Organizational innovation and creativity: Tecnológico de Monterrey
  • 面向对象技术高级课程(The Advanced Object-Oriented Technology): Peking University
  • Practice CATIA Part Design: Dassault Systèmes

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