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

    University of Colorado Boulder

    Biology Everywhere Foundations

    Skills you'll gain: Biochemistry, Chemistry, Biology, General Science and Research, Molecular Biology, Scientific Methods, Water Quality, Nutrition and Diet

    4.5
    Rating, 4.5 out of 5 stars
    ·
    238 reviews

    Beginner · Course · 1 - 4 Weeks

  • 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
    ·
    129 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    Y

    Yale University

    Global Quality Maternal and Newborn Care

    Skills you'll gain: Maternal Health, Midwifery, Child Health, Childbirth, Postpartum Care, Prenatal Care, Health Disparities, Obstetrics And Gynecology, Primary Care, Care Management, Dignity in Care, Patient-centered Care, Health Policy, Community Health, Cultural Responsiveness, Advocacy

    4.8
    Rating, 4.8 out of 5 stars
    ·
    258 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Decision-Making for Everyone

    Skills you'll gain: Decision Making, Creative Thinking, Problem Solving, Creative Problem-Solving, Strategic Decision-Making, Brainstorming, Complex Problem Solving, Critical Thinking and Problem Solving, Resourcefulness, Creativity, Curiosity, Strategic Thinking, Root Cause Analysis, Ethical Standards And Conduct, Risk Analysis, Innovation, Analytical Skills, Business Ethics, Social Impact, Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    119 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    Saïd Business School, University of Oxford

    AI Fundamentals in Financial Services

    Skills you'll gain: Financial Services, Artificial Intelligence, Responsible AI, FinTech, Banking Services, Financial Regulation, Banking, Fraud detection, Machine Learning, Applied Machine Learning, Unsupervised Learning, Data Ethics, Natural Language Processing, AI Personalization, Deep Learning, Credit Risk, Reinforcement Learning, Big Data, Algorithms, Data Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    52 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    H

    Hebrew University of Jerusalem

    Invitation to Mathematics הזמנה למתמטיקה

    Skills you'll gain: Advanced Mathematics, Trigonometry, Mathematical Theory & Analysis, Geometry, Integral Calculus, Calculus, Graphing, Algebra, Applied Mathematics, Derivatives

    4.4
    Rating, 4.4 out of 5 stars
    ·
    71 reviews

    Mixed · Course · 1 - 3 Months

  • I

    Infosec

    Blockchain Security

    Skills you'll gain: Blockchain, Network Security, Security Engineering, Computer Security, Infrastructure Security, Data Security, Cryptography, Cryptographic Protocols, Secure Coding, Encryption, Vulnerability Assessments, Key Management, Scalability, Distributed Computing, Data Integrity, Exploitation techniques, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    84 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Gestión del análisis de datos

    Skills you'll gain: Exploratory Data Analysis, Data-Driven Decision-Making, Data Analysis, Data Management, Data Strategy, Management Reporting, Analytical Skills, Statistical Inference, Statistical Modeling, Data Presentation, Team Leadership, Statistical Methods, Communication

    4.6
    Rating, 4.6 out of 5 stars
    ·
    104 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Advanced C# Programming in .NET Core

    Skills you'll gain: C# (Programming Language), Software Architecture, .NET Framework, Distributed Computing, Scalability, Object Oriented Programming (OOP), Object-Relational Mapping, Microservices, Debugging, MongoDB, Data Access, Model View Controller, Performance Tuning, Computer Programming, Maintainability, NoSQL

    4.5
    Rating, 4.5 out of 5 stars
    ·
    101 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    English for Developing a Business

    Skills you'll gain: Presentations, Verbal Communication Skills, Communication, Non-Verbal Communication, Microsoft PowerPoint, Business Communication, English Language, Interpersonal Communications, Business Leadership, Crisis Management, Organizational Structure, Leadership and Management, Business, Business Management, Global Marketing, Rapport Building, Leadership, Corporate Communications, Grammar, Vocabulary

    4.7
    Rating, 4.7 out of 5 stars
    ·
    73 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Geospatial Techniques for Engineers

    Skills you'll gain: Geospatial Information and Technology, Spatial Analysis, GIS Software, Spatial Data Analysis, Geographic Information Systems, Geospatial Mapping, Construction Engineering, Database Management, Construction, Construction Management, Architecture and Construction, Global Positioning Systems, Visualization (Computer Graphics), Civil and Architectural Engineering, Decision Support Systems, Building Information Modeling, Survey Creation, AutoCAD Civil 3D, Data Manipulation, Network Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    70 reviews

    Advanced · Specialization · 3 - 6 Months

  • A

    Amazon Web Services

    DevOps on AWS and Project Management

    Skills you'll gain: Software Development Life Cycle, CI/CD, DevOps, Continuous Integration, Agile Software Development, Project Management, Software Development, Continuous Deployment, Application Deployment, Software Testing, Waterfall Methodology, Agile Methodology, Kanban Principles, Scrum (Software Development), Git (Version Control System), Automation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    119 reviews

    Beginner · Course · 1 - 4 Weeks

1…218219220…574

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

  • Biology Everywhere Foundations: University of Colorado Boulder
  • Modern Robotics, Course 4: Robot Motion Planning and Control: Northwestern University
  • Global Quality Maternal and Newborn Care: Yale University
  • Decision-Making for Everyone: Arizona State University
  • AI Fundamentals in Financial Services: Saïd Business School, University of Oxford
  • Invitation to Mathematics הזמנה למתמטיקה: Hebrew University of Jerusalem
  • Blockchain Security: Infosec
  • Gestión del análisis de datos: Johns Hopkins University
  • Advanced C# Programming in .NET Core: EDUCBA
  • English for Developing a Business: University of California, Irvine

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