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

    Michigan State University

    The Search for Great Ideas: Harnessing creativity to empower innovation.

    Skills you'll gain: Design Thinking, Ideation, Innovation, Market Opportunities, Creative Thinking, Creativity, Entrepreneurship, Product Development, Resource Planning, Market Research, Customer Insights, User Research, Decision Making

    4.6
    Rating, 4.6 out of 5 stars
    ·
    315 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Lausanne

    Unethical Decision Making in Organizations

    Skills you'll gain: Business Ethics, Decision Making, Organizational Leadership, Strategic Decision-Making, Social Sciences, Organizational Strategy, Business Management, Sociology, Psychology, Case Studies, Leadership, Mindfulness

    4.8
    Rating, 4.8 out of 5 stars
    ·
    428 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Data Engineering, Big Data and ML on Google Cloud en Español

    Skills you'll gain: Model Deployment, Google Cloud Platform, Data Lakes, Data Pipelines, Dataflow, Big Data, Tensorflow, Real Time Data, Data Architecture, Extract, Transform, Load, Data Warehousing, Apache Spark, Unstructured Data, Apache Hadoop, Data Security, Applied Machine Learning, MLOps (Machine Learning Operations), Feature Engineering, Data Management, Data Processing

    4.7
    Rating, 4.7 out of 5 stars
    ·
    815 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Sampling People, Networks and Records

    Skills you'll gain: Sampling (Statistics), Sample Size Determination, Data Collection, Surveys, Quantitative Research, Statistical Methods, Statistical Analysis, Statistical Software, Probability & Statistics, Probability, Network Analysis, Research Design

    4.3
    Rating, 4.3 out of 5 stars
    ·
    106 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Firm Level Economics: Markets and Allocations

    Skills you'll gain: Supply And Demand, Market Dynamics, Economics, Game Theory, Market Analysis, Business Economics, Market Share, Consumer Behaviour, Operational Efficiency, Financial Regulations, Resource Allocation, Strategic Decision-Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.2K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    The GRC Approach to Managing Cybersecurity

    Skills you'll gain: Cyber Governance, Cyber Security Policies, Cyber Security Strategy, Security Management, Cyber Risk, Cybersecurity, Risk Management Framework, Continuous Monitoring, Security Controls, Enterprise Security, Information Privacy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    363 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    A

    American Museum of Natural History

    Evolution: A Course for Educators

    Skills you'll gain: Teaching, Education and Training, Instructional Strategies, Instructing, Pedagogy, Anthropology, Life Sciences, Culture, Biology, Curriculum Planning, Taxonomy, Scientific Methods

    4.7
    Rating, 4.7 out of 5 stars
    ·
    330 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The University of Edinburgh

    哲学导论(中文版)

    Skills you'll gain: Liberal Arts, Deductive Reasoning, Scientific Methods, Artificial Intelligence

    4.8
    Rating, 4.8 out of 5 stars
    ·
    206 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    É

    École Polytechnique Fédérale de Lausanne

    Digital Signal Processing 2: Filtering

    Skills you'll gain: Digital Signal Processing, Digital Communications, Communication Systems, Electrical and Computer Engineering, Telecommunications, Electronics, Engineering Analysis, Numerical Analysis, Systems Of Measurement, Mathematical Modeling, Jupyter, Data Mapping, Real Time Data

    4.7
    Rating, 4.7 out of 5 stars
    ·
    195 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Materials Science for Technological Application

    Skills you'll gain: Materials science, Failure Analysis, Semiconductors, Manufacturing Processes, Structural Analysis, Mechanical Engineering, Chemical Engineering, Chemistry, Thermal Management, Engineering, Laboratory Testing, Physical Science, Physics, Process Engineering, Engineering Analysis, Engineering Calculations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    274 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    The Complete Quantum Computing Course for Beginners

    Skills you'll gain: Python Programming, Algorithms, Computer Programming, Theoretical Computer Science, Linear Algebra, Mathematics and Mathematical Modeling, Computer Science, Algebra, Object Oriented Programming (OOP), IBM Cloud, Scripting, Probability, Artificial Intelligence and Machine Learning (AI/ML), Data Processing, Mathematical Modeling, Data Structures, Data Manipulation, Probability & Statistics, Applied Mathematics, Software Installation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    83 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    AI for Scientific Research

    Skills you'll gain: Data Preprocessing, Feature Engineering, Model Evaluation, Bioinformatics, Exploratory Data Analysis, Random Forest Algorithm, Pandas (Python Package), Scikit Learn (Machine Learning Library), Applied Machine Learning, Data Manipulation, Dimensionality Reduction, Data Cleansing, Keras (Neural Network Library), Data Transformation, NumPy, Classification Algorithms, Tensorflow, Artificial Neural Networks, Machine Learning, Data Science

    3.2
    Rating, 3.2 out of 5 stars
    ·
    82 reviews

    Beginner · Specialization · 3 - 6 Months

1…164165166…569

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

  • The Search for Great Ideas: Harnessing creativity to empower innovation. : Michigan State University
  • Unethical Decision Making in Organizations: University of Lausanne
  • Data Engineering, Big Data and ML on Google Cloud en Español: Google Cloud
  • Sampling People, Networks and Records: University of Michigan
  • Firm Level Economics: Markets and Allocations: University of Illinois Urbana-Champaign
  • The GRC Approach to Managing Cybersecurity: Kennesaw State University
  • Evolution: A Course for Educators: American Museum of Natural History
  • 哲学导论(中文版): The University of Edinburgh
  • Digital Signal Processing 2: Filtering: École Polytechnique Fédérale de Lausanne
  • Materials Science for Technological Application: Arizona State 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