• 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: Preview
    Preview
    T

    The World Bank Group

    Bajemos la temperatura: De la ciencia climática a la acción

    Skills you'll gain: Climate Change Adaptation, Climate Change Mitigation, Resilience, Sustainable Development, Environmental Issue, Environmental Policy, Scientific Methods, Cooperation, Environmental Science, Collaboration, Water Resource Management, Energy and Utilities

    4.8
    Rating, 4.8 out of 5 stars
    ·
    248 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    P

    Peking University

    医学统计学与SPSS软件(基础篇)

    Skills you'll gain: Statistical Hypothesis Testing, SPSS, SPSS (Software), Statistical Methods, Descriptive Statistics, Statistical Analysis, Regression Analysis, Probability & Statistics, Biostatistics, Correlation Analysis, Statistical Inference, Sampling (Statistics), Data Analysis Software, Data Manipulation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    159 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Ideal Gases

    Skills you'll gain: Chemical Engineering, Chemistry, Thermal Management, Mechanical Engineering, Engineering Calculations, Engineering Analysis, Physics, Numerical Analysis, Simulation and Simulation Software, Mathematical Modeling

    4.5
    Rating, 4.5 out of 5 stars
    ·
    144 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Construction Management Fundamentals

    Skills you'll gain: Construction Management, Project Controls, Project Risk Management, Construction Estimating, Project Schedules, Construction Engineering, Cost Management, Sustainable Architecture, Change Control, Project Management, Contract Management, Timelines, Occupational Safety And Health, Engineering Management, Scheduling, Project Coordination, Sustainable Technologies, Construction Accounting, Project Implementation, Leadership Development

    4.8
    Rating, 4.8 out of 5 stars
    ·
    114 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Essentials of Sensory Science

    Skills you'll gain: Experimentation, Product Testing, Laboratory Testing, Food Quality Assurance And Control, Laboratory Experience, Food and Beverage, Consumer Behaviour, Scientific Methods, Systems Of Measurement, Case Studies, Quality Assurance, Physiology, Research Design, Science and Research, Statistical Analysis, Nutrition and Diet, Target Market, Human Factors, Anatomy, Product Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    70 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    MedCerts

    Pharmacy Dosages and Prescriptions Essentials

    Skills you'll gain: Medication Dispensation, Pharmacist Assistance, Medical Prescription, Pharmacy Operations, Pharmacology, Patient Safety, Pharmacy, Medication Administration, Pharmaceutical Terminology, Pediatrics, Intravenous Therapy, Systems Of Measurement

    4.6
    Rating, 4.6 out of 5 stars
    ·
    66 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    É

    École normale supérieure

    Introduction à la théorie de Galois

    Skills you'll gain: Algebra, Linear Algebra, Combinatorics, Arithmetic, Advanced Mathematics, Mathematics and Mathematical Modeling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    67 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Maryland, College Park

    Programming Mobile Applications for Android Handheld Systems: Part 2

    Skills you'll gain: Android Development, Mobile Development, Data Management, User Interface (UI), UI Components, Human Computer Interaction, Java Programming, Network Model, Geographic Information Systems, Animations, Computer Programming, Computer Graphics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    172 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Introduction to AI for Cybersecurity

    Skills you'll gain: AI Security, Cybersecurity, Cyber Threat Intelligence, Cyber Attacks, Fraud detection, Email Security, Threat Detection, Jupyter, Authentications, Machine Learning Algorithms, Artificial Intelligence, Anomaly Detection, Natural Language Processing, Machine Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    86 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    CertNexus

    Communicate Effectively about Ethical Challenges in Data-Driven Technologies

    Skills you'll gain: Crisis Management, Business Ethics, Data Ethics, Media Relations, Communication Strategies, Public Relations, Strategic Communication, Stakeholder Communications, Business Communication, Communication, Diversity and Inclusion, Risk Management, Leadership and Management, Social Media Strategy, Business Strategy, Marketing

    4.4
    Rating, 4.4 out of 5 stars
    ·
    95 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    Tecnológico de Monterrey

    4.- El Cálculo - Otros Modelos

    Skills you'll gain: Advanced Mathematics, Calculus, Applied Mathematics, Mathematical Software, Mathematical Modeling, Mathematical Theory & Analysis, Digital pedagogy, Algebra, Graphing, Derivatives, Graphical Tools

    4.7
    Rating, 4.7 out of 5 stars
    ·
    210 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    M

    MathWorks

    Systems Engineering

    Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Systems Architecture, Functional Design, System Design and Implementation, Requirements Analysis, Requirements Elicitation, Verification And Validation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    283 reviews

    Beginner · Course · 1 - 4 Weeks

1…214215216…574

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

  • Bajemos la temperatura: De la ciencia climática a la acción: The World Bank Group
  • 医学统计学与SPSS软件(基础篇): Peking University
  • Ideal Gases: University of Colorado Boulder
  • Construction Management Fundamentals: University of Maryland, College Park
  • Essentials of Sensory Science: University of California, Davis
  • Pharmacy Dosages and Prescriptions Essentials: MedCerts
  • Introduction à la théorie de Galois: École normale supérieure
  • Programming Mobile Applications for Android Handheld Systems: Part 2: University of Maryland, College Park
  • Introduction to AI for Cybersecurity: Johns Hopkins University
  • Communicate Effectively about Ethical Challenges in Data-Driven Technologies: CertNexus

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