• 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: Preview
    Preview
    U

    University of Michigan

    Accounting for Decision Making

    Skills you'll gain: Financial Statements, Accounting, Ledgers (Accounting), General Accounting, Financial Acumen, Revenue Management, Inventory Control Systems, Inventory Management, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    474 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDHEC Business School

    Python and Machine-Learning for Asset Management with Alternative Data Sets

    Skills you'll gain: Text Mining, Network Analysis, Data Visualization Software, Machine Learning Methods, Unstructured Data, Predictive Modeling, Web Scraping, Social Network Analysis, Financial Statements, Financial Market, Financial Analysis, Investments, Financial Modeling, Asset Management, Python Programming, Data Analysis, Consumer Behaviour

    4.4
    Rating, 4.4 out of 5 stars
    ·
    236 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Life Cycle Assessment

    Skills you'll gain: Sustainable Design, Product Lifecycle Management, Product Development, Sustainable Development, Product Improvement, Environmental Science, Environment, Simulation and Simulation Software, Case Studies, Analysis, Project Scoping, Goal Setting, Inventory Accounting, Energy and Utilities

    4.3
    Rating, 4.3 out of 5 stars
    ·
    75 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    Eindhoven University of Technology

    Microwave engineering and antennas

    Skills you'll gain: electromagnetics, Electronics Engineering, Telecommunications, Electrical Engineering, Electronic Systems, Wireless Networks, Engineering Design Process, Simulation and Simulation Software, Engineering Analysis, Engineering Calculations, Process Design

    4.6
    Rating, 4.6 out of 5 stars
    ·
    154 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Probabilistic Deep Learning with TensorFlow 2

    Skills you'll gain: Tensorflow, Autoencoders, Generative Model Architectures, Deep Learning, Applied Machine Learning, Image Analysis, Bayesian Statistics, Probability Distribution, Unsupervised Learning, Sampling (Statistics)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    109 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Toronto

    Spatial Analysis and Satellite Imagery in a GIS

    Skills you'll gain: Geographic Information Systems, GIS Software, Spatial Analysis, Spatial Data Analysis, Geospatial Information and Technology, Geospatial Mapping, Query Languages, Data Manipulation, Image Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    626 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Cybersecurity and the Internet of Things

    Skills you'll gain: Internet Of Things, Cybersecurity, Cyber Security Strategy, Cyber Security Policies, Mobile Security, Security Awareness, Wireless Networks, Information Privacy, Data Security, Emerging Technologies, Vulnerability Assessments

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Java Programming for Beginners

    Skills you'll gain: Java Programming, Java, Development Environment, Computer Programming, Integrated Development Environments, Object Oriented Programming (OOP), Data Structures, File I/O, Debugging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    129 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    The Museum of Modern Art

    Art & Inquiry: Museum Teaching Strategies For Your Classroom

    Skills you'll gain: Literacy, Teaching, Liberal Arts, Instructing, Emotional Intelligence, Creativity, Instructional Strategies, Art History, Student Engagement, Classroom Management, Self-Awareness, Curriculum Planning, Lesson Planning, Research, Learning Styles, Empathy, Social Studies

    4.8
    Rating, 4.8 out of 5 stars
    ·
    529 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Cybersecurity Identity and Access Solutions using Azure AD

    Skills you'll gain: Azure Active Directory, Authentications, Identity and Access Management, Authorization (Computing), Active Directory, Role-Based Access Control (RBAC), Multi-Factor Authentication, Microsoft Azure, Single Sign-On (SSO), Software As A Service, User Accounts, Cloud Services, Enterprise Security

    4.5
    Rating, 4.5 out of 5 stars
    ·
    186 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of California San Diego

    Code Free Data Science

    Skills you'll gain: Predictive Modeling, Data Manipulation, Predictive Analytics, Big Data, Data Processing, Data Mining, Data Analysis, Data Science, Data-Driven Decision-Making, Unsupervised Learning, Statistical Analysis, Analytics, No-Code Development, Software Installation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    216 reviews

    Beginner · 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

1…191192193…573

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

  • Accounting for Decision Making: University of Michigan
  • Python and Machine-Learning for Asset Management with Alternative Data Sets: EDHEC Business School
  • Life Cycle Assessment: University of Michigan
  • Microwave engineering and antennas: Eindhoven University of Technology
  • Probabilistic Deep Learning with TensorFlow 2: Imperial College London
  • Spatial Analysis and Satellite Imagery in a GIS: University of Toronto
  • Cybersecurity and the Internet of Things: Kennesaw State University
  • Java Programming for Beginners: IBM
  • Art & Inquiry: Museum Teaching Strategies For Your Classroom: The Museum of Modern Art
  • Cybersecurity Identity and Access Solutions using Azure AD: Microsoft

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