• 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: New
    New
    Status: Free Trial
    Free Trial
    U

    University of London

    CSS: Web Page Layout - Usability and Accessibility

    Skills you'll gain: Responsive Web Design, Cascading Style Sheets (CSS), Web Content Accessibility Guidelines, HTML and CSS, Web Design, Frontend Performance, Usability, Web Design and Development, User Interface (UI), Usability Testing, Animations

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Service-Oriented Architecture

    Skills you'll gain: Service Oriented Architecture, API Design, Web Services, Simple Object Access Protocol (SOAP), Microservices, Restful API, Software Architecture, Web Applications, JSON, Web Development, Android Development

    4.5
    Rating, 4.5 out of 5 stars
    ·
    585 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    IBM Product Manager

    Skills you'll gain: AI Product Strategy, Usability Testing, New Product Development, Product Management, Product Lifecycle Management, Agile Software Development, Scrum (Software Development), Product Development, Innovation, Product Roadmaps, Agile Methodology, Responsible AI, Generative AI, Kanban Principles, Product Planning, Product Strategy, ChatGPT, Test Planning, Registration, Leadership

    4.8
    Rating, 4.8 out of 5 stars
    ·
    4.3K reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Sports Performance Analytics

    Skills you'll gain: Logistic Regression, Forecasting, Statistical Methods, Regression Analysis, Plot (Graphics), Data Cleansing, Scikit Learn (Machine Learning Library), Supervised Learning, Data Processing, Statistical Hypothesis Testing, Sports Medicine, Correlation Analysis, Data Preprocessing, Applied Machine Learning, Injury Prevention, Athletic Training, Analytics, Data Analysis, Statistical Analysis, Python Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    276 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Parse & Normalize Data for ML Pipelines

    Skills you'll gain: Data Preprocessing, Data Pipelines, Java, Data Processing, Feature Engineering, Data Cleansing, Data Quality, Data Transformation, Data Validation, Data Access, Continuous Monitoring, Unit Testing, Object Oriented Programming (OOP)

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    U

    Universidad de Palermo

    Inteligencia Artificial Aplicada a la Construcción

    Skills you'll gain: Civil Engineering, Sustainable Architecture, Building Design, Innovation, Sustainable Design, Structural Engineering, Robotics, 3D Modeling

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Innovation: From Creativity to Entrepreneurship

    Skills you'll gain: Entrepreneurship, Strategic Decision-Making, Innovation, Creativity, Team Management, Creative Problem-Solving, Ideation, Technology Strategies, Creative Thinking, Business Modeling, Strategic Thinking, Value Propositions, Collaboration, Business Planning, Strategic Planning, New Product Development, Cognitive flexibility, Entrepreneurial Finance, Open Mindset, Leadership

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    3.8K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Preparing for Google Cloud Certification: Cloud Data Engr

    Skills you'll gain: Real Time Data, Data Lakes, Model Deployment, Google Cloud Platform, Feature Engineering, PySpark, Data Pipelines, Cloud Storage, Data Import/Export, Dataflow, Big Data, Apache Spark, Apache Hadoop, Dashboard, Data Architecture, Data Governance, Apache Kafka, Data Infrastructure, Tensorflow, Data Warehousing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    4.9K reviews

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: New
    New
    P

    Packt

    Excel Essentials

    Skills you'll gain: Microsoft Excel, Spreadsheet Software, Data Visualization, Data Analysis Software, Productivity Software, Data Security, Data Validation, Data Management, Workflow Management

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Everyday Excel

    Skills you'll gain: Microsoft Excel, Excel Formulas, Regression Analysis, Data Validation, Pivot Tables And Charts, Spreadsheet Software, Data Management, Data Visualization Software, Data Entry, Statistical Modeling, Data Cleansing, Financial Analysis, Predictive Modeling, Financial Modeling, Data Analysis Expressions (DAX), Data Import/Export, Analysis, Mathematical Modeling, Complex Problem Solving, Problem Solving

    4.7
    Rating, 4.7 out of 5 stars
    ·
    4.1K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    Universidade Estadual de Campinas

    Revisão Sistemática e Meta-análise

    Skills you'll gain: Data Synthesis, Data Collection, Research, Research Design, Research Reports, Research Methodologies, Quantitative Research, Clinical Research, Peer Review, Statistical Methods, Report Writing, Data Quality, Epidemiology, Statistical Analysis, Qualitative Research, Risk Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    3K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Icahn School of Medicine at Mount Sinai

    Systems Biology and Biotechnology

    Skills you'll gain: Matlab, Bioinformatics, Quantitative Research, Unsupervised Learning, Data Synthesis, Research, Mathematical Modeling, Molecular Biology, Pharmacology, Science and Research, Cell Biology, Biotechnology, Biomedical Technology, Scientific Methods, Physiology, Differential Equations, Computational Logic, Biochemistry, Network Analysis, Biology

    4.4
    Rating, 4.4 out of 5 stars
    ·
    987 reviews

    Intermediate · Specialization · 3 - 6 Months

1…707172…567

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

  • CSS: Web Page Layout - Usability and Accessibility: University of London
  • Service-Oriented Architecture: University of Alberta
  • IBM Product Manager: IBM
  • Sports Performance Analytics: University of Michigan
  • Parse & Normalize Data for ML Pipelines: Coursera
  • Inteligencia Artificial Aplicada a la Construcción: Universidad de Palermo
  • Innovation: From Creativity to Entrepreneurship: University of Illinois Urbana-Champaign
  • Preparing for Google Cloud Certification: Cloud Data Engr: Google Cloud
  • Excel Essentials: Packt
  • Everyday Excel: 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