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

    LearnKartS

    Docker Certified Associate Exam Prep

    Skills you'll gain: Containerization, Microservices, Virtualization, Scalability, Application Lifecycle Management, Command-Line Interface

    3.7
    Rating, 3.7 out of 5 stars
    ·
    82 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Identifying Patient Populations

    Skills you'll gain: Data Manipulation, Bioinformatics, Informatics, Data Processing, Clinical Informatics, Data Science, Health Informatics, Clinical Data Management, Classification Algorithms, Analytics, Patient Evaluation, Model Evaluation, Machine Learning Algorithms, Data Validation, Performance Testing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    40 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Fundamentals of Digital Marketing

    Skills you'll gain: Search Engine Marketing, Search Engine Optimization, Web Analytics and SEO, Digital Marketing, Online Advertising, Return On Investment, Media Planning, Consumer Behaviour, Cross-Channel Marketing, Digital Advertising, Marketing Channel, Social Media Marketing, Marketing Strategies, Marketing Effectiveness, Paid media, Network Model, Business-To-Consumer, Marketing Analytics, Business Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Measuring and Modeling Impact in Evaluations

    Skills you'll gain: Program Evaluation, Maternal Health, Nutrition and Diet, Child Health, Social Impact, Research Methodologies, Data Collection, Epidemiology, Public Health and Disease Prevention, Health Policy, Mathematical Modeling, Statistical Modeling, Data Analysis Software

    4.6
    Rating, 4.6 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Java Development Capstone Project

    Skills you'll gain: Database Design, Continuous Integration, Restful API, Docker (Software), Model View Controller, Front-End Web Development, Databases, User Story, CI/CD, Java, Java Programming, Database Application, Application Programming Interface (API), HTML and CSS, Full-Stack Web Development, Spring Boot, Microservices, Back-End Web Development, Software Design Documents, Software Architecture

    4.3
    Rating, 4.3 out of 5 stars
    ·
    9 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Analytical Mechanics for Spacecraft Dynamics

    Skills you'll gain: Engineering Analysis, Vibrations, Mechanics, Finite Element Methods, Differential Equations, Control Systems, Applied Mathematics, Mathematical Modeling, Linear Algebra, Calculus

    4.8
    Rating, 4.8 out of 5 stars
    ·
    11 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Classification - Fundamentals & Practical Applications

    Skills you'll gain: Classification Algorithms, Model Evaluation, Machine Learning Algorithms, Logistic Regression, Predictive Modeling, Applied Machine Learning, Machine Learning Methods, Supervised Learning, Data Modeling, Analytics, Analysis, Data Analysis, Business Metrics, Feature Engineering, Advanced Analytics, Machine Learning, Scikit Learn (Machine Learning Library), Performance Metric, Data Visualization, Exploratory Data Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    6 reviews

    Advanced · Course · 1 - 3 Months

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

    Packt

    Software Architecture Foundations & Intro to Microservices

    Skills you'll gain: Scalability, Software Architecture, Systems Architecture, Microservices, Software Design, Application Design, Solution Architecture, Software Design Patterns, Systems Design, Service Oriented Architecture, Enterprise Architecture, Object Oriented Design, Maintainability, Engineering Software, Functional Requirement, Programming Principles

    3.7
    Rating, 3.7 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Geometric and Traffic Aspects of Highway

    Skills you'll gain: Traffic Flow Optimization, Civil Engineering, Stormwater Management, Structural Engineering, Hydrology, Hydraulics, Construction, Safety Standards, Geometric Dimensioning And Tolerancing, Engineering Design Process

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Data Persistence and Firebase Integration

    Skills you'll gain: Data Persistence, JSON, Data Store, User Interface (UI), User Interface and User Experience (UI/UX) Design, Database Development, Databases, Interactive Data Visualization, Debugging, Application Development, Mobile Development, Application Programming Interface (API), Data Management

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    F

    Fundação Instituto de Administração

    Liderança Criativa e Inclusiva

    Skills you'll gain: Ideation, Creative Thinking, Creativity, Creative Problem-Solving, Innovation, Team Motivation, Open Mindset, Leadership, Adaptability, Decision Making

    4.9
    Rating, 4.9 out of 5 stars
    ·
    50 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    From Data to Decisions: Getting Started with AI

    Skills you'll gain: Generative AI, Data Literacy, Data-Driven Decision-Making, Data Analysis, Exploratory Data Analysis, Descriptive Statistics, Prompt Engineering, Analytical Skills, Artificial Intelligence, Probability & Statistics, Decision Making

    4.2
    Rating, 4.2 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 4 Weeks

1…357358359…583

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

  • Docker Certified Associate Exam Prep: LearnKartS
  • Identifying Patient Populations: University of Colorado System
  • Fundamentals of Digital Marketing: University of Maryland, College Park
  • Measuring and Modeling Impact in Evaluations: Johns Hopkins University
  • Java Development Capstone Project: IBM
  • Analytical Mechanics for Spacecraft Dynamics: University of Colorado Boulder
  • Classification - Fundamentals & Practical Applications: Corporate Finance Institute
  • Software Architecture Foundations & Intro to Microservices: Packt
  • Geometric and Traffic Aspects of Highway: L&T EduTech
  • Data Persistence and Firebase Integration: Packt

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