• 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

    Converter Control

    Skills you'll gain: Control Systems, Power Electronics, Electronic Systems, Electrical Engineering, Systems Analysis, Engineering Analysis, Systems Design, Differential Equations, Mathematical Modeling

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    650 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Building No-Code Apps with AppSheet

    Skills you'll gain: No-Code Development, Email Automation, Business Process Automation, Application Deployment, Automation, Business Process, Workflow Management, Google Workspace, Application Design, Application Development, Application Performance Management, User Interface and User Experience (UI/UX) Design, Data Integration, Authorization (Computing), Authentications, Cloud Applications, Google Sheets, Application Lifecycle Management, User Interface (UI), Data Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    189 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Data Pipelines with TensorFlow Data Services

    Skills you'll gain: Extract, Transform, Load, Data Preprocessing, Data Pipelines, Model Deployment, Tensorflow, Transfer Learning, Data Processing, Feature Engineering, Data Sharing, Data Transformation, Performance Tuning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    534 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Networking Fundamentals and Physical Networks

    Skills you'll gain: Network Troubleshooting, OSI Models, Network Model, TCP/IP, Networking Hardware, Local Area Networks, Network Protocols, General Networking, Network Architecture, Network Infrastructure, Network Switches, Test Equipment, Test Tools

    4.9
    Rating, 4.9 out of 5 stars
    ·
    37 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Explainable AI (XAI)

    Skills you'll gain: Responsible AI, Data Ethics, Large Language Modeling, Decision Tree Learning, AI Security, Regression Analysis, Generative AI, Artificial Intelligence, AI Product Strategy, Statistical Modeling, Python Programming, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Model Evaluation, Applied Machine Learning, Logistic Regression, Machine Learning Methods, Deep Learning, Visualization (Computer Graphics), Data Literacy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    78 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    G

    Google Cloud

    Introduction to Generative AI - Español

    Skills you'll gain: Generative AI, Generative Model Architectures, Prompt Engineering Tools, Deep Learning, Machine Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    324 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Chino básico: Lenguaje y cultura empresarial

    Skills you'll gain: Peer Review, Setting Appointments, Language Learning, Oral Expression, Hotels and Accommodations, Presentations, Cultural Sensitivity, Video Production, Travel Arrangements, Telephone Skills, Business Communication, Vocabulary, Scheduling, Greeting Customers, Oral Comprehension, Hospitality, Communication, Professional Networking, Verbal Communication Skills, Grammar

    4.5
    Rating, 4.5 out of 5 stars
    ·
    515 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Precalculus: Periodic Functions

    Skills you'll gain: Trigonometry, Systems Of Measurement, Geometry, Mathematical Modeling, Graphing, Algebra, Applied Mathematics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    108 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Western Australia

    Agriculture, Economics and Nature

    Skills you'll gain: Land Management, Economics, Water Resources, Natural Resource Management, Environmental Resource Management, Environmental Policy, Supply And Demand, Cost Benefit Analysis, Policy Analysis, Climate Change Adaptation, Market Dynamics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    556 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    Y

    Yale University

    Creating Change through Social Entrepreneurship

    Skills you'll gain: Social Impact, Design Thinking, Community Outreach, Organizational Structure, Stakeholder Engagement, Entrepreneurship, Sustainable Development, Research and Design, Business Modeling, Communication, Advocacy, Innovation, Program Evaluation, Fundraising

    4.9
    Rating, 4.9 out of 5 stars
    ·
    174 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universitat Autònoma de Barcelona

    Gestión de la comunicación interna en las organizaciones

    Skills you'll gain: Internal Communications, Communication Planning, Crisis Management, Corporate Communications, Strategic Communication, Cultural Sensitivity, Communication Strategies, Telecommuting, Branding, Business Ethics, Brand Management, Employee Engagement, Virtual Teams

    4.9
    Rating, 4.9 out of 5 stars
    ·
    582 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Predictive Modeling and Analytics

    Skills you'll gain: Predictive Analytics, Logistic Regression, Exploratory Data Analysis, Data Visualization, Data Modeling, Business Analytics, Data Analysis, Statistical Modeling, Regression Analysis, Data Preprocessing, Supervised Learning, Decision Tree Learning, Data Cleansing, Artificial Neural Networks

    3.6
    Rating, 3.6 out of 5 stars
    ·
    605 reviews

    Intermediate · Course · 1 - 4 Weeks

1…191192193…569

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

  • Converter Control: University of Colorado Boulder
  • Building No-Code Apps with AppSheet: Google Cloud
  • Data Pipelines with TensorFlow Data Services: DeepLearning.AI
  • Networking Fundamentals and Physical Networks: Packt
  • Explainable AI (XAI): Duke University
  • Introduction to Generative AI - Español: Google Cloud
  • Chino básico: Lenguaje y cultura empresarial: Arizona State University
  • Precalculus: Periodic Functions: Johns Hopkins University
  • Agriculture, Economics and Nature: University of Western Australia
  • Creating Change through Social Entrepreneurship: Yale University

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