• 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

    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

  • C

    Coursera

    Evaluate and Apply Ethical AI Models

    Skills you'll gain: Responsible AI, Data Ethics, Model Evaluation, Governance, Multimodal Prompts, AI Enablement, Generative AI, Model Deployment, Artificial Intelligence and Machine Learning (AI/ML)

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of London

    Bachelor of Science in Business Administration

    Skills you'll gain: Process Design, Global Marketing, Consumer Behaviour, Statistical Analysis, Organizational Change, Process Mapping, Statistical Methods, Integrated Marketing Communications, Advertising, Innovation, Mergers & Acquisitions, Training and Development, Virtual Teams, Databases, Cost Accounting, International Finance, Research, Team Management, Economic Development, Cultural Diversity

    Earn a degree

    Degree · 1 - 4 Years

  • P

    Pontificia Universidad Católica de Chile

    Diplomado en Decisiones Estratégicas y Analítica de Datos

    Skills you'll gain: Database Design, Descriptive Analytics, Business Analytics, Data Ethics, NoSQL, Digital Transformation, Data Mining, Query Languages, Statistical Methods, Data Analysis, SQL, Relational Databases, Data-Driven Decision-Making, Databases, R Programming, Predictive Analytics, Business Strategy, Data Strategy, Business Modeling, Organizational Strategy

    Credit offered

    Mastertrack · 6 - 12 Months

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

  • G

    Google Cloud

    Intégrer des applications avec Gemini 1.0 Pro sur Google Cloud

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

    Beginner · Course · 1 - 4 Weeks

  • 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

    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

  • 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

1…560561562563

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

  • Maestría en Inteligencia Artificial: Universidad de los Andes
  • Evaluate and Apply Ethical AI Models: Coursera
  • Bachelor of Science in Business Administration: University of London
  • Diplomado en Decisiones Estratégicas y Analítica de Datos: Pontificia Universidad Católica de Chile
  • 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
  • Power Electronics Graduate Certificate: University of Colorado Boulder
  • Intégrer des applications avec Gemini 1.0 Pro sur Google Cloud: Google Cloud
  • Postgraduate Diploma in Applied Statistics: Indian Statistical Institute

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