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


  • U

    University of Colorado Boulder

    Power Electronics Graduate Certificate

    Skills you'll gain: Computer Vision, Power Electronics, Convolutional Neural Networks, Display Devices, Control Systems, Image Analysis, Computer Displays, Tensorflow, Electronic Systems, Deep Learning, Systems Design, Debugging, Artificial Neural Networks, Electrical Engineering, USB, Semiconductors, Technical Design, electromagnetics, Electrical Power, Electrical Systems

    Credit offered

    Graduate Certificate · 6 - 12 Months

  • U

    University of North Texas

    Bachelor of Science in General Business

    Skills you'll gain: Operations Management, Mediation, Model Evaluation, Compensation and Benefits, Organizational Change, Event Management, Grammar, Sales Process, Data Visualization, Marketing Planning, Design Thinking, Public Policies, Global Marketing, Probability & Statistics, Social Studies, Cultural Diversity, Digital Media Strategy, Organizational Leadership, Music History, Sociology

    Earn a degree

    Degree · 1 - 4 Years

  • G

    Google Cloud

    Google Cloud 上の Gemini 1.0 Pro とアプリケーションの統合

    Skills you'll gain: Google Gemini, Gemini, Generative AI, Google Cloud Platform, LLM Application, Prompt Engineering, Application Development, Application Programming Interface (API), Model Evaluation, Vision Transformer (ViT)

    Beginner · Course · 1 - 4 Weeks

  • U

    Universidad de los Andes

    Maestría en Gerencia de la Ingeniería

    Skills you'll gain: Model Evaluation, Environmental Social And Corporate Governance (ESG), Organizational Strategy, Engineering Management, Product Management, Technology Strategies, Business Modeling, Systems Thinking, Project Management, Prototyping, Project Management Life Cycle, Feasibility Studies, Infrastructure Security, Financial Statements, Environmental Management Systems, Asset Management, Project Risk Management, Operations Research, Team Management, Operational Efficiency

    Earn a degree

    Degree · 1 - 4 Years

  • P

    Pontificia Universidad Católica de Chile

    Certificado en Introducción a la Ciencia de Datos

    Skills you'll gain: Predictive Analytics, Unsupervised Learning, Data Cleansing, Matplotlib, Exploratory Data Analysis, Model Evaluation, Dimensionality Reduction, Data Science, Descriptive Analytics, Supervised Learning, Predictive Modeling, Regression Analysis, Data Visualization, Plot (Graphics), Data Analysis, Machine Learning Algorithms, Pandas (Python Package), Data-Driven Decision-Making, Visualization (Computer Graphics), Scientific Visualization

    Credit offered

    Mastertrack · 6 - 12 Months

  • U

    University of North Texas

    Bachelor of Applied Arts and Sciences

    Skills you'll gain: Operations Management, Exploratory Data Analysis, Mediation, Model Evaluation, Change Management, Business Writing, Compensation and Benefits, Apache Hadoop, Consumer Behaviour, Organizational Change, Stakeholder Management, Event Management, Grammar, Social Media Strategy, Business Ethics, Sales Process, Diversity Awareness, Conflict Management, Research, Nutrition and Diet

    Earn a degree

    Degree · 1 - 4 Years

  • P

    Pontificia Universidad Católica de Chile

    Certificado en Bases de la Salud Pública

    Skills you'll gain: Epidemiology, Diagnostic Tests, Public Health and Disease Prevention, Social Determinants Of Health, Biostatistics, Health Systems, Descriptive Statistics, Public Health, Health Policy, Health Disparities, Statistical Hypothesis Testing, Healthcare Ethics, Health Promotion, Infectious Diseases, Community Health, Scientific Methods, Health Equity, Research Design, Occupational Health, Statistical Methods

    Credit offered

    Mastertrack · 6 - 12 Months

  • I

    Indian Statistical Institute

    Postgraduate Diploma in Applied Statistics

    Skills you'll gain: Sampling (Statistics), Time Series Analysis and Forecasting, Sample Size Determination, Statistical Machine Learning, NumPy, Spatial Data Analysis, Statistical Hypothesis Testing, Database Management Systems, Probability, Economics, SQL, Data Compilation, Dimensionality Reduction, Statistical Methods, Statistical Inference, Lifelong Learning, Regression Analysis, Graphing, Surveys, International Finance

    Postgraduate Diploma · 6 - 12 Months

  • U

    Universidad de los Andes

    Maestría en Inteligencia Artificial

    Skills you'll gain: Real-Time Operating Systems, Semantic Web, LLM Application, Unsupervised Learning, Cloud-Native Computing, Model Evaluation, Continuous Deployment, Reinforcement Learning, Computer Vision, Project Controls, Natural Language Processing, MLOps (Machine Learning Operations), Biomedical Engineering, Artificial Intelligence, Deep Learning, Probability & Statistics, Control Systems, Data Ethics, Generative Adversarial Networks (GANs), Responsible AI

    Earn a degree

    Degree · 1 - 4 Years

  • I

    Illinois Institute of Technology

    Master of Data Science

    Skills you'll gain: Database Design, Statistical Analysis, Time Series Analysis and Forecasting, Relational Databases, Database Systems, Data Analysis, Database Management, NoSQL, Database Theory, Databases, Database Development, SQL, Big Data, Model Evaluation, Apache Hadoop, Recurrent Neural Networks (RNNs), Database Management Systems, Bayesian Statistics, Statistical Inference, Technical Communication

    Earn a degree

    Degree · 1 - 4 Years

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Advanced Techniques in Embedded Software Testing

    Skills you'll gain: Code Coverage, Embedded Software, Real-Time Operating Systems, Performance Testing, System Testing, Software Testing, Verification And Validation, Embedded Systems, Test Case, Test Planning, Integration Testing, Simulations, Real Time Data, Safety and Security

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Requirement Specifications for Autonomous Systems

    Skills you'll gain: Computational Logic, System Requirements, Functional Requirement, Theoretical Computer Science, Systems Analysis, Verification And Validation, Control Systems, Linear Algebra, Differential Equations, Applied Mathematics

    Build toward a degree

    3.5
    Rating, 3.5 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 3 Months

1…560561562563

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

  • Power Electronics Graduate Certificate: University of Colorado Boulder
  • Bachelor of Science in General Business: University of North Texas
  • Google Cloud 上の Gemini 1.0 Pro とアプリケーションの統合: Google Cloud
  • Maestría en Gerencia de la Ingeniería: Universidad de los Andes
  • Certificado en Introducción a la Ciencia de Datos: Pontificia Universidad Católica de Chile
  • Bachelor of Applied Arts and Sciences: University of North Texas
  • Certificado en Bases de la Salud Pública: Pontificia Universidad Católica de Chile
  • Postgraduate Diploma in Applied Statistics: Indian Statistical Institute
  • Maestría en Inteligencia Artificial: Universidad de los Andes
  • Master of Data Science: Illinois Institute of Technology

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