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

    Rutgers the State University of New Jersey

    Robotic Process Automation (RPA) in Accounting and Auditing

    Skills you'll gain: Robotic Process Automation, Business Process Automation, Automation, Workflow Management, Artificial Intelligence, Accounting and Finance Software, Excel Macros, Emerging Technologies, Digital Transformation, Natural Language Processing, Data Manipulation, Unstructured Data, Scalability

    4
    Rating, 4 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    The Control Phase for the 6 σ Black Belt

    Skills you'll gain: Statistical Process Controls, Lean Six Sigma, Six Sigma Methodology, Process Improvement, Process Capability, Quality Control, Continuous Improvement Process, Variance Analysis, Facility Repair And Maintenance, Document Management, Training Programs

    4.4
    Rating, 4.4 out of 5 stars
    ·
    39 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Pontificia Universidad Católica del Perú

    Fundamentos de UX y de los requisitos de software

    Skills you'll gain: User Story, Human Computer Interaction, Software Development Life Cycle, User Experience Design, Functional Requirement, Unified Modeling Language, Requirements Analysis, Prototyping, Usability, User Experience, Persona (User Experience), User Interface (UI) Design, System Requirements, User Requirements Documents, Interaction Design, User Centered Design, Human Factors, Software Design, Software Engineering, Systems Development

    4.9
    Rating, 4.9 out of 5 stars
    ·
    152 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Perspective-Taking

    Skills you'll gain: Influencing, Strategic Thinking, Negotiation, Recognizing Others, Active Listening, Strategic Communication, Game Theory, Empathy, Critical Thinking, Decision Making, Motivational Skills, Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    SkillsBooster Academy

    Generative AI for SEO: Be the #1 Answer in AI Search

    Skills you'll gain: Keyword Research, Search Engine Optimization, Web Analytics and SEO, Competitive Analysis, Data Ethics, ChatGPT, Search Engine Marketing, Content Creation, Content Performance Analysis, Artificial Intelligence, Digital Marketing, Content Marketing, Marketing, Business Strategy, Business Ethics, Marketing Strategy and Techniques, Market Research, Digital Media Strategy, Product Strategy, Marketing Materials

    4.6
    Rating, 4.6 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Designing Effective Science Communication

    Skills you'll gain: Oral Expression, Non-Verbal Communication, Learning Theory, Storytelling, Education Software and Technology, Human Learning, Motivational Interviewing, Conflict Management, Interpersonal Communications, Technical Communication, Education and Training, Media and Communications, Driving engagement, Teaching, Persuasive Communication, De-escalation Techniques, Writing, Scientific Methods, Rapport Building, Diversity Awareness

    4.3
    Rating, 4.3 out of 5 stars
    ·
    12 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Calculus through Data & Modeling: Applying Differentiation

    Skills you'll gain: Applied Mathematics, Estimation, Numerical Analysis, Calculus, Engineering Calculations, Mathematical Modeling, Operations Research, Derivatives, Algebra

    4.7
    Rating, 4.7 out of 5 stars
    ·
    59 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    Information Extraction from Free Text Data in Health

    Skills you'll gain: Text Mining, Unstructured Data, Health Informatics, Natural Language Processing, Data Mining, Model Evaluation, Clinical Informatics, Deep Learning, Machine Learning, Medical Terminology, Artificial Neural Networks, Supervised Learning, Python Programming, Computer Programming, Computer Programming Tools

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Advanced SQL Retrieval Queries in SQLiteStudio

    Skills you'll gain: SQL, Query Languages, Relational Databases, Data Manipulation, Data Analysis, Problem Solving

    4.5
    Rating, 4.5 out of 5 stars
    ·
    98 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    ChatGPT + Cybersecurity: AI-Powered Tabletops & Training

    Skills you'll gain: Crisis Management, Incident Response, ChatGPT, Generative AI, AI Enablement, Cross-Functional Collaboration, Prompt Engineering, Cybersecurity, Scenario Testing, Hardening, Complex Problem Solving, Discussion Facilitation, Decision Making, Performance Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    27 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    F

    Fred Hutchinson Cancer Center

    Researcher's Guide to Omic Data

    Skills you'll gain: Bioinformatics, Molecular Biology, Data Processing, Data Analysis, Data Literacy, Exploratory Data Analysis, Laboratory Research, Metadata Management, Science and Research, R Programming, Spatial Data Analysis, Scientific Methods, Data Collection, Data Quality, Research, Quantitative Research, Informatics, Biology, Laboratory Techniques, Analysis

    3.7
    Rating, 3.7 out of 5 stars
    ·
    34 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Glasgow

    Informed Clinical Decision Making using Deep Learning

    Skills you'll gain: Deep Learning, Model Evaluation, Data Ethics, Health Informatics, ICD Coding (ICD-9/ICD-10), Clinical Data Management, Medical Records, Clinical Informatics, Descriptive Analytics, Database Design, AI Security, Electronic Medical Record, Responsible AI, Data Mining, Precision Medicine, Analytics, Recurrent Neural Networks (RNNs), Data Preprocessing, Machine Learning, Autoencoders

    4.4
    Rating, 4.4 out of 5 stars
    ·
    35 reviews

    Intermediate · Specialization · 3 - 6 Months

1…356357358…583

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

  • Robotic Process Automation (RPA) in Accounting and Auditing: Rutgers the State University of New Jersey
  • The Control Phase for the 6 σ Black Belt: Kennesaw State University
  • Fundamentos de UX y de los requisitos de software: Pontificia Universidad Católica del Perú
  • Perspective-Taking: Arizona State University
  • Generative AI for SEO: Be the #1 Answer in AI Search: SkillsBooster Academy
  • Designing Effective Science Communication: University of Colorado Boulder
  • Calculus through Data & Modeling: Applying Differentiation: Johns Hopkins University
  • Information Extraction from Free Text Data in Health: University of Michigan
  • Advanced SQL Retrieval Queries in SQLiteStudio: Coursera
  • ChatGPT + Cybersecurity: AI-Powered Tabletops & Training: Vanderbilt University

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