• 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

    Northwestern University

    Modern Robotics, Course 4: Robot Motion Planning and Control

    Skills you'll gain: Robotics, Control Systems, Artificial Intelligence, Automation, Graph Theory, Algorithms, Virtual Environment, Simulation and Simulation Software, Mathematical Modeling, Data Structures, Linear Algebra

    4.9
    Rating, 4.9 out of 5 stars
    ·
    131 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Computer Vision

    Skills you'll gain: Image Analysis, Computer Vision, Deep Learning, Convolutional Neural Networks, Computer Graphics, Machine Learning Methods, Artificial Intelligence, Data Ethics, Microsoft Excel, Generative AI, Linear Algebra, Feature Engineering, Digital Signal Processing

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    23 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Healthcare Data Models

    Skills you'll gain: Data Integration, Data Validation, Data Quality, Data Cleansing, Data Modeling, Health Informatics, Data Transformation, Data Warehousing, Star Schema, Health Information Management, Data Analysis, Analytics, Electronic Medical Record, Database Systems, Relational Databases

    4.6
    Rating, 4.6 out of 5 stars
    ·
    56 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Interpersonal Communication for Engineering Leaders

    Skills you'll gain: Executive Presence, Business Communication, Crisis Management, Interpersonal Communications, Communication, Meeting Facilitation, Intercultural Competence, Stakeholder Communications, Influencing, Persuasive Communication, Cultural Diversity, Global Marketing, Leadership, Communication Strategies, Conflict Management, Non-Verbal Communication, Branding, Active Listening

    4.7
    Rating, 4.7 out of 5 stars
    ·
    207 reviews

    Mixed · Course · 1 - 3 Months

  • G

    Google Cloud

    Introduction to APIs in Google

    Skills you'll gain: Cloud API, JSON, Restful API, Application Programming Interface (API), Google Cloud Platform, Authentications, Network Protocols

    3.2
    Rating, 3.2 out of 5 stars
    ·
    26 reviews

    Beginner · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    A

    American Psychological Association

    Student Success

    Skills you'll gain: Stress Management, Resilience, Writing, Literacy, Editing, Mental Health, Mindfulness, Learning Strategies, Human Learning, Mental Concentration, Proofreading, Physiology, Productivity, Psychology, Self-Awareness, Emotional Intelligence, Time Management, Cognitive Behavioral Therapy, Critical Thinking, Scientific Methods

    4.8
    Rating, 4.8 out of 5 stars
    ·
    27 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of London

    Applied Public History: Places, People, Stories

    Skills you'll gain: Public History, Storytelling, Program Evaluation, Media and Communications, Research, Community Outreach, Timelines, Case Studies, Cultural Diversity, Research Methodologies, Creativity, Interviewing Skills

    4.8
    Rating, 4.8 out of 5 stars
    ·
    113 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Semantic Segmentation with Amazon Sagemaker

    Skills you'll gain: AWS SageMaker, AWS Identity and Access Management (IAM), Amazon Web Services, Model Deployment, Image Analysis, Amazon Elastic Compute Cloud, Amazon S3, Machine Learning Algorithms, Data Preprocessing, Convolutional Neural Networks, Computer Vision, Deep Learning, Machine Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    94 reviews

    Advanced · Guided Project · Less Than 2 Hours

  • Status: New
    New
    Status: Free Trial
    Free Trial
    G

    Google

    Grow as a Manager

    Skills you'll gain: Leadership and Management, Initiative and Leadership, Leadership, Growth Mindedness, AI Enablement

    4.8
    Rating, 4.8 out of 5 stars
    ·
    105 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    B

    Board Infinity

    Generative AI: Prompt Engineering Basics

    Skills you'll gain: Responsible AI, LLM Application, Model Evaluation, Scripting, Debugging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    55 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    AI Workflow: Feature Engineering and Bias Detection

    Skills you'll gain: Feature Engineering, Data Ethics, Unsupervised Learning, Dimensionality Reduction, Responsible AI, Text Mining, Data Preprocessing, Data Transformation, MLOps (Machine Learning Operations), Anomaly Detection, Exploratory Data Analysis, Machine Learning Methods, Machine Learning, Model Evaluation, Natural Language Processing, Data Science, Quality Assurance, Data Pipelines, Data Visualization, Python Programming

    4.4
    Rating, 4.4 out of 5 stars
    ·
    76 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidad de Palermo

    Matemática Preuniversitaria

    Skills you'll gain: Algebra, Arithmetic, General Mathematics, Applied Mathematics, Graphing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    58 reviews

    Beginner · Course · 1 - 4 Weeks

1…252253254…578

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

  • Modern Robotics, Course 4: Robot Motion Planning and Control: Northwestern University
  • Introduction to Computer Vision: University of Colorado Boulder
  • Healthcare Data Models: University of California, Davis
  • Interpersonal Communication for Engineering Leaders: Rice University
  • Introduction to APIs in Google: Google Cloud
  • Student Success: American Psychological Association
  • Applied Public History: Places, People, Stories: University of London
  • Semantic Segmentation with Amazon Sagemaker: Coursera
  • Grow as a Manager: Google
  • Generative AI: Prompt Engineering Basics: Board Infinity

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