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


  • C

    Coursera

    Logistic Regression with NumPy and Python

    Skills you'll gain: Matplotlib, Data Visualization, Seaborn, Logistic Regression, NumPy, Data Analysis, Jupyter, Data Science, Machine Learning, Machine Learning Algorithms, Python Programming, Supervised Learning, Regression Analysis, Classification Algorithms, Algorithms

    4.5
    Rating, 4.5 out of 5 stars
    ·
    396 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    2

    28DIGITAL

    Mastering Digital Twins

    Skills you'll gain: Digital Transformation, New Product Development, Technical Product Management, Business Modeling, Business Process, Production Process, Case Studies, Predictive Modeling

    4.1
    Rating, 4.1 out of 5 stars
    ·
    463 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Customising your models with TensorFlow 2

    Skills you'll gain: Recurrent Neural Networks (RNNs), Tensorflow, Data Pipelines, Keras (Neural Network Library), Transfer Learning, Deep Learning, Convolutional Neural Networks, Natural Language Processing, Embeddings, Model Evaluation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    196 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    I

    IBM

    Malware Analysis and Introduction to Assembly Language

    Skills you'll gain: Malware Protection, Exploitation techniques, Exploit development, Cyber Threat Hunting, Cyber Security Assessment, Application Security, Threat Detection, Virtual Machines, Code Review, Debugging, System Programming, Scripting, Windows PowerShell, Virtual Environment, Linux, File Management

    4.5
    Rating, 4.5 out of 5 stars
    ·
    86 reviews

    Intermediate · Course · 1 - 3 Months

  • P

    Packt

    The STATA OMNIBUS: Regression and Modelling with STATA

    Skills you'll gain: Stata, Regression Analysis, Statistical Modeling, Statistical Methods, Statistical Analysis, Data Visualization, Data Manipulation, Logistic Regression, Predictive Modeling, Statistical Hypothesis Testing, Model Evaluation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Colorado Boulder

    مهارات العمل الجماعي: التواصل الفعّال في مجموعات

    Skills you'll gain: Teamwork, Conflict Management, Negotiation, Innovation, Team Building, Collaboration, Creativity, Interpersonal Communications, Diversity Awareness, Communication, Virtual Teams, Media and Communications, Cultural Diversity, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    386 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Berklee

    Teaching Popular Music in the Classroom

    Skills you'll gain: Musical Composition, Music, Instrumental Music, Music Performance, Education Software and Technology, Music Theory, World Music, Teaching, Classroom Management, Cultural Responsiveness, Active Listening, Creativity, Collaboration

    4.6
    Rating, 4.6 out of 5 stars
    ·
    104 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Introduction to Microsoft Power Platform

    Skills you'll gain: Microsoft Power Platform, Microsoft Power Automate/Flow, No-Code Development, Data Integration, Power BI, Data Modeling, Application Development, Case Studies, Business Solutions, Security Controls

    4.6
    Rating, 4.6 out of 5 stars
    ·
    174 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    SkillUp

    Software Development on SAP HANA

    Skills you'll gain: SAP S/4HANA, Data Modeling, Enterprise Resource Planning, Functional Requirement, Software Development Tools, Cloud Deployment, Organizational Structure, Real Time Data, Compliance Reporting, User Interface (UI) Design

    4.4
    Rating, 4.4 out of 5 stars
    ·
    61 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Edureka

    Gen AI for Fraud Detection Analytics

    Skills you'll gain: Generative AI, Generative Adversarial Networks (GANs), AI Enablement, Recurrent Neural Networks (RNNs), Data Preprocessing, Model Evaluation

    4.2
    Rating, 4.2 out of 5 stars
    ·
    29 reviews

    Beginner · Course · 1 - 4 Weeks

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

    Packt

    Data Science Essentials: Analysis, Statistics, and ML

    Skills you'll gain: Plotly, Model Evaluation, NumPy, Plot (Graphics), Dashboard, Statistics, Pandas (Python Package), Data Analysis, Statistical Analysis, Regression Analysis, Data Manipulation, Python Programming, Analytics, Probability & Statistics, Statistical Methods, Applied Machine Learning, Probability, Data Science, Statistical Modeling, Performance Tuning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The Chinese University of Hong Kong

    Religion and Thought in Modern China: the Song, Jin, and Yuan

    Skills you'll gain: Art History, Ancient History, World History, Cultural Diversity, Anthropology, Sociology, Policy Analysis, Political Sciences, Economics, Governance

    4.5
    Rating, 4.5 out of 5 stars
    ·
    48 reviews

    Mixed · Course · 1 - 3 Months

1…228229230…578

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

  • Logistic Regression with NumPy and Python: Coursera
  • Mastering Digital Twins: 28DIGITAL
  • Customising your models with TensorFlow 2: Imperial College London
  • Malware Analysis and Introduction to Assembly Language: IBM
  • The STATA OMNIBUS: Regression and Modelling with STATA: Packt
  • مهارات العمل الجماعي: التواصل الفعّال في مجموعات: University of Colorado Boulder
  • Teaching Popular Music in the Classroom: Berklee
  • Introduction to Microsoft Power Platform: Microsoft
  • Software Development on SAP HANA: SkillUp
  • Gen AI for Fraud Detection Analytics: Edureka

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