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

    Introduction to Molecular Spectroscopy

    Skills you'll gain: Analytical Chemistry, Laboratory Techniques, Chemistry, Laboratory Equipment, Vibrations, electromagnetics, Physics, Engineering Analysis, Structural Analysis, Engineering Calculations

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Estimate and Prioritize Product Impact

    Skills you'll gain: Prioritization, Business Priorities, Forecasting, Resource Allocation, Product Strategy, Data-Driven Decision-Making, Performance Metric, Data Analysis, Analytics, Estimation, Stakeholder Engagement, Benchmarking, Customer Acquisition Management, Project Estimation, Project Planning, Spreadsheet Software, Business Modeling

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    TMMi Foundation Certification Prep Course

    Skills you'll gain: Test Planning, Software Quality Assurance, Software Testing, Quality Assurance, Process Improvement, Continuous Improvement Process, Technology Roadmaps, Quality Improvement, Key Performance Indicators (KPIs), Gap Analysis

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Data Engineering, Big Data, and Machine Learning on GCP

    Skills you'll gain: Model Deployment, Feature Engineering, PySpark, Data Import/Export, Big Data, Apache Spark, Dashboard, Data Architecture, Data Governance, Apache Kafka, Cloud Deployment, Apache Hadoop, Metadata Management, Data Storage, Apache Hive, Application Programming Interface (API), Data Quality, Data Cleansing, Applied Machine Learning, Cloud Services

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Document and Share Meeting Outcomes with Ease

    Skills you'll gain: Collaborative Software, Taking Meeting Minutes, Meeting Facilitation, Project Documentation, Productivity Software, Document Management, Team Oriented, Delegation Skills, Workflow Management, Accountability, Team Management, Decision Making

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Embedding Sensors and Motors

    Skills you'll gain: Control Systems, Process Control, Machine Controls, Engineering, Scientific, and Technical Instruments, Embedded Systems, Electronic Hardware, Embedded Software, Automation Engineering, Hardware Design, Electronics Engineering, Manufacturing Processes, Basic Electrical Systems, Electronic Systems, Electronics, Electrical Systems, Electrical and Computer Engineering, Electronic Components, Power Electronics, Three-Phase, Torque (Physics)

    Build toward a degree

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    A Clinician's Guide: Soft Skills for Better Patient Outcomes

    Skills you'll gain: Patient Communication, Constructive Feedback, Resilience, Emotional Intelligence, Compassion, Empathy & Emotional Intelligence, Patient Education And Counseling, Patient-centered Care, Empathy, Employee Engagement, Telehealth, Interpersonal Communications, Self-Awareness, Active Listening, Communication, Data Analysis, Cultural Sensitivity, Quality Improvement, Leadership and Management, Continuous Improvement Process

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Leading Teams: Developing as a Leader

    Skills you'll gain: Conflict Management, Trustworthiness, Leadership Development, Decision Making, Emotional Intelligence, Business Ethics, Leadership, Strategic Leadership, Courage, Relationship Building, Negotiation, Self-Awareness, Growth Mindedness, Professional Development, People Development, Curiosity

    Build toward a degree

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Inferential Statistical Analysis with Python

    Skills you'll gain: Statistical Hypothesis Testing, Statistical Methods, Statistical Inference, Bayesian Statistics, Probability & Statistics, Statistical Analysis, Sampling (Statistics), Jupyter, Python Programming, Matplotlib, NumPy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    933 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    A

    Alex Genadinik

    10 Passive Income Businesses For 2026 To Start Today

    Skills you'll gain: Scalability, Entrepreneurship, Business Modeling, Business Process Automation, Growth Strategies, E-Commerce, Amazon Web Services, Price Negotiation, Technology Strategies

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Introduction to Nursing Leadership

    Skills you'll gain: Clinical Leadership, Healthcare Ethics, Nursing Management, Nursing Administration, Teamwork, Leadership, Nursing Practices, Collaboration, Patient Safety, Initiative and Leadership, Care Coordination, Trustworthiness, Mentorship, Ethical Standards And Conduct, Adaptability, Emotional Intelligence, Patient-centered Care, Decision Making, Accountability, Active Listening

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Cybersecurity Essentials - From Zero to Secure

    Skills you'll gain: Cybersecurity, Endpoint Security, Network Security, Cyber Attacks, Encryption, Information Systems Security, Application Security, Cyber Security Policies, Penetration Testing, Data Security, Computer Security Awareness Training, Firewall, Cryptography, Security Controls, Threat Modeling, Intrusion Detection and Prevention, Security Awareness, Mobile Security, Malware Protection, Authentications

    Beginner · Course · 1 - 3 Months

1…777879…566

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

  • Introduction to Molecular Spectroscopy: University of Manchester
  • Estimate and Prioritize Product Impact: Coursera
  • TMMi Foundation Certification Prep Course: Coursera
  • Data Engineering, Big Data, and Machine Learning on GCP: Google Cloud
  • Document and Share Meeting Outcomes with Ease: Coursera
  • Embedding Sensors and Motors: University of Colorado Boulder
  • A Clinician's Guide: Soft Skills for Better Patient Outcomes: Coursera
  • Leading Teams: Developing as a Leader: University of Illinois Urbana-Champaign
  • Inferential Statistical Analysis with Python: University of Michigan
  • 10 Passive Income Businesses For 2026 To Start Today: Alex Genadinik

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