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

    DeepLearning.AI

    Generative Deep Learning with TensorFlow

    Skills you'll gain: Generative Adversarial Networks (GANs), Autoencoders, Generative AI, Tensorflow, Generative Model Architectures, Image Analysis, Transfer Learning, Deep Learning, Convolutional Neural Networks, Artificial Neural Networks

    4.9
    Rating, 4.9 out of 5 stars
    ·
    313 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    É

    École Polytechnique Fédérale de Lausanne

    Big Data Analysis with Scala and Spark

    Skills you'll gain: Apache Spark, Apache Hadoop, Scala Programming, Distributed Computing, Big Data, Data Manipulation, Data Processing, Performance Tuning, Data Persistence, SQL

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    W

    West Virginia University

    Account Management & Sales Force Design

    Skills you'll gain: Sales Management, Sales Strategy, Account Management, Sales, Sales Process, Sales Training, Inside Sales, Selling Techniques, Business Strategy, Outside Sales, Recruitment

    4.5
    Rating, 4.5 out of 5 stars
    ·
    303 reviews

    Mixed · Course · 1 - 4 Weeks

  • I

    Illinois Tech

    Mastering Excel Essentials to Enhance Business Value

    Skills you'll gain: Data Visualization, Microsoft Excel, Excel Formulas, Data Entry, Spreadsheet Software, Data Management, Business Analysis, Decision Making, Business Modeling, Analytics, Report Writing

    Build toward a degree

    4.5
    Rating, 4.5 out of 5 stars
    ·
    31 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    3D Printing Applications

    Skills you'll gain: Design Thinking, Intellectual Property, 3D Modeling, Social Impact, Manufacturing and Production, Product Design, Manufacturing Processes, Prototyping, Education and Training, Entrepreneurship

    4.6
    Rating, 4.6 out of 5 stars
    ·
    687 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The University of Melbourne

    Foundations of International Psychiatry

    Skills you'll gain: Mental Status Examination, Psychiatry, Medical History Documentation, Healthcare Ethics, Psychosocial Assessments, Mental and Behavioral Health, Patient Communication, Cultural Sensitivity, Patient Evaluation, Interpersonal Communications, Interviewing Skills, Rapport Building

    4.7
    Rating, 4.7 out of 5 stars
    ·
    198 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free
    Free
    A

    Amazon Web Services

    Exploring Artificial Intelligence Use Cases and Applications

    Skills you'll gain: Generative AI, Business Metrics, Machine Learning Methods, Applied Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), AI Enablement, Machine Learning, Machine Learning Algorithms, Model Evaluation, Artificial Intelligence, Model Deployment, Key Performance Indicators (KPIs), Performance Measurement, Performance Metric, AI Product Strategy, Business Solutions

    4.5
    Rating, 4.5 out of 5 stars
    ·
    227 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Digital Marketing Institute

    Twitter, LinkedIn, and YouTube Marketing

    Skills you'll gain: LinkedIn, Social Media Marketing, Social Media, Digital Advertising, Marketing, B2B Sales, Professional Networking, Advertising Campaigns, Social Media Strategy, Marketing Analytics, Video Production, Advertising, Selling Techniques, Branding, Content Creation, Target Audience

    4.4
    Rating, 4.4 out of 5 stars
    ·
    96 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Machine Learning Operations (MLOps): Getting Started

    Skills you'll gain: MLOps (Machine Learning Operations), Kubernetes, Model Deployment, Google Cloud Platform, CI/CD, AI Workflows, Docker (Software), Containerization, Cloud Deployment, Devops Tools, Tensorflow

    4
    Rating, 4 out of 5 stars
    ·
    481 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SAP

    Understanding the Enterprise Systems Environment

    Skills you'll gain: Digital Transformation, Cloud Computing Architecture, SAP S/4HANA, Cloud Computing, System Design and Implementation, SAP Applications, Cybersecurity, ABAP RESTful Programming Model (RAP), Software As A Service, Enterprise Architecture, Enterprise Resource Planning, Analytics, Business Technologies, Customer experience strategy (CX), Data Science, Microservices, Business Analysis, Application Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    233 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    A

    Amazon Web Services

    AWS Generative AI and AI Agents with Amazon Bedrock

    Skills you'll gain: Amazon Bedrock, Prompt Engineering, Responsible AI, Generative AI Agents, Retrieval-Augmented Generation, Generative AI, LangChain, AI Workflows, AI Orchestration, Artificial Intelligence and Machine Learning (AI/ML), Large Language Modeling, Applied Machine Learning, Transfer Learning, LLM Application, Embeddings, Amazon Web Services, Context Management, Model Deployment, Amazon S3, Model Evaluation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    71 reviews

    Intermediate · Professional Certificate · 1 - 3 Months

  • Status: Preview
    Preview
    E

    Emory University

    Health in Complex Humanitarian Emergencies

    Skills you'll gain: Public Health, Epidemiology, Community Health, Nutrition and Diet, Emergency Response, Sanitation, Health Promotion, Social and Human Services, Water Resources, Infectious Diseases, Health Administration, Mental Health, Data Collection

    4.8
    Rating, 4.8 out of 5 stars
    ·
    366 reviews

    Intermediate · Course · 1 - 4 Weeks

1…186187188…569

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

  • Generative Deep Learning with TensorFlow: DeepLearning.AI
  • Big Data Analysis with Scala and Spark: École Polytechnique Fédérale de Lausanne
  • Account Management & Sales Force Design: West Virginia University
  • Mastering Excel Essentials to Enhance Business Value: Illinois Tech
  • 3D Printing Applications: University of Illinois Urbana-Champaign
  • Foundations of International Psychiatry: The University of Melbourne
  • Exploring Artificial Intelligence Use Cases and Applications: Amazon Web Services
  • Twitter, LinkedIn, and YouTube Marketing: Digital Marketing Institute
  • Machine Learning Operations (MLOps): Getting Started: Google Cloud
  • Understanding the Enterprise Systems Environment: SAP

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