• 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

    Regression and Classification

    Skills you'll gain: Statistical Modeling, Statistical Machine Learning, Data Science, Statistical Methods, Statistical Analysis, Model Evaluation, Regression Analysis, Predictive Modeling, R Programming, Machine Learning, Classification Algorithms, Supervised Learning, Unsupervised Learning, Machine Learning Algorithms

    Build toward a degree

    3.9
    Rating, 3.9 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Hands-On Spring MVC: Best Practices for Java Developers

    Skills you'll gain: Model View Controller, Spring Framework, Java, Security Assertion Markup Language (SAML), Web Applications, Software Design Patterns, Transaction Processing, Data Validation, Verification And Validation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Neural Networks and Random Forests

    Skills you'll gain: Model Evaluation, Random Forest Algorithm, Keras (Neural Network Library), Tensorflow, Deep Learning, Artificial Neural Networks, Decision Tree Learning, Scikit Learn (Machine Learning Library), Regression Analysis, Machine Learning, Classification Algorithms, Python Programming

    3
    Rating, 3 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    F

    Fundação Instituto de Administração

    Leadership and Disruption

    Skills you'll gain: Delegation Skills, Lifelong Learning, Leadership, Digital Transformation, Team Leadership, Team Management, Business Transformation, Leadership Development, Business Leadership, Telecommuting, Constructive Feedback, Organizational Leadership, Drive Engagement, Innovation, Professional Development, Strategic Leadership, Storytelling, Adaptability, Team Motivation, Strategic Communication

    4.8
    Rating, 4.8 out of 5 stars
    ·
    278 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    N

    National Taiwan University

    機器學習技法 (Machine Learning Techniques)

    Skills you'll gain: Feature Engineering, Decision Tree Learning, Random Forest Algorithm, Applied Machine Learning, Supervised Learning, Deep Learning, Machine Learning Algorithms, Machine Learning, Data Preprocessing, Dimensionality Reduction, Artificial Neural Networks, Model Evaluation, Embeddings, Classification Algorithms, Regression Analysis, Logistic Regression

    4.9
    Rating, 4.9 out of 5 stars
    ·
    35 reviews

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Precast Elements

    Skills you'll gain: Structural Engineering, Construction, Construction Engineering, Civil Engineering, Engineering Practices, Architectural Engineering, Building Design, Manufacturing Processes

    4.6
    Rating, 4.6 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    Starweaver

    Influencing, Collaboration and Decision Making

    Skills you'll gain: Negotiation, Influencing, Stakeholder Management, Analytical Skills, Leadership, Conflict Management, Collaboration, Team Leadership, Communication, Critical Thinking, Team Building, Persuasive Communication, Decision Making, Relationship Building, Problem Solving

    4.5
    Rating, 4.5 out of 5 stars
    ·
    53 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Data Extract, Transform, and Load in Power BI

    Skills you'll gain: Extract, Transform, Load, Power BI, Data Transformation, Data Cleansing, Query Languages, Data Manipulation, Data Integration, Data Validation, Data Import/Export, Data Quality, Data Analysis, Data Modeling, Anomaly Detection, Data Storage

    4.5
    Rating, 4.5 out of 5 stars
    ·
    18 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Diseño de Actividades con PhET para la Educación STEM

    Skills you'll gain: Simulation and Simulation Software, Mathematics Education, Interactive Design, Experimentation, Chemistry, Graphing, Physics, Biology, Algebra, Geometry

    4.9
    Rating, 4.9 out of 5 stars
    ·
    142 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Ethical Decision-Making in the Tech Industry

    Skills you'll gain: Business Ethics, Courage, Ethical Standards And Conduct, Decision Making, Technical Management, Professionalism, Engineering Management, Personal Integrity, IT Management, Ancient History, Human Development, Cultural Diversity, Technology Strategies, Business Leadership, Leadership, Anthropology, Social Sciences, Artificial Intelligence

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    158 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Natural Language Processing with Real-World Projects

    Skills you'll gain: Matplotlib, NumPy, Embeddings, Data Visualization, Natural Language Processing, Semantic Web, Data Manipulation, Linear Algebra, Seaborn, Deep Learning, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Python Programming, Text Mining, Data Science, Data Processing, Applied Machine Learning, Unstructured Data, Markov Model, Data Preprocessing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    9 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    D

    Dassault Systèmes

    SOLIDWORKS Feature Patterns and Sweeps

    Skills you'll gain: Computer-Aided Design, Technical Design, 3D Modeling, Design Elements And Principles, Mechanical Engineering

    4.8
    Rating, 4.8 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 4 Weeks

1…354355356…583

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

  • Regression and Classification: University of Colorado Boulder
  • Hands-On Spring MVC: Best Practices for Java Developers: Board Infinity
  • Neural Networks and Random Forests: LearnQuest
  • Leadership and Disruption: Fundação Instituto de Administração
  • 機器學習技法 (Machine Learning Techniques): National Taiwan University
  • Precast Elements: L&T EduTech
  • Influencing, Collaboration and Decision Making: Starweaver
  • Data Extract, Transform, and Load in Power BI: Microsoft
  • Diseño de Actividades con PhET para la Educación STEM: University of Colorado Boulder
  • Ethical Decision-Making in the Tech Industry: University of Colorado Boulder

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