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

    Fundação Instituto de Administração

    Strategic Management

    Skills you'll gain: Strategic Decision-Making, Competitive Analysis, Organizational Strategy, Business Strategy, Plan Execution, Sustainable Business, Corporate Strategy, Strategic Thinking, Business Management, Case Studies, Corporate Sustainability, Market Analysis, Business Analysis, Crisis Management, Supplier Management, Supplier Relationship Management, Continuous Monitoring

    4.9
    Rating, 4.9 out of 5 stars
    ·
    28 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Project Management Professional Prep

    Skills you'll gain: Team Leadership, People Management, Performance Management, Project Risk Management, Smart Goals, Agile Project Management, Compliance Management, Scope Management, Project Planning, Negotiation, Business Process, Backlogs, Project Schedules, Governance, Change Management, Procurement, Employee Training, Active Listening, Team Oriented, Communication

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    P

    Pearson

    AWS Certified Machine Learning - Specialty

    Skills you'll gain: Model Deployment, Exploratory Data Analysis, Model Evaluation, Cloud Deployment, Data Preprocessing, Data Analysis, Amazon Elastic Compute Cloud, Application Deployment, Predictive Modeling, Data Pipelines, Extract, Transform, Load, Data Processing

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Data Structures for Designers Using Python

    Skills you'll gain: Object Oriented Programming (OOP), Software Design, Program Development, Data Structures, Visualization (Computer Graphics), Graphic and Visual Design, Computer Graphics, Creative Design, Python Programming, Algorithms, Linear Algebra, Simulations, Spatial Analysis

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    N

    National Academy of Sports Medicine

    Mindful Eating

    Skills you'll gain: Nutrition Education, Nutrition and Diet, Mindfulness, Self-Awareness, Decision Making, Stress Management, Mental Health

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Graduate Admission Prediction with Pyspark ML

    Skills you'll gain: Data Cleansing, PySpark, Data Manipulation, Data Preprocessing, Apache Spark, Google Cloud Platform, Data Analysis, Applied Machine Learning, Predictive Modeling, Big Data, Machine Learning, Regression Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    34 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    N

    Northwestern University

    현대 로봇공학, 강좌 1: 로봇 동작의 기초

    Skills you'll gain: Robotics, Mathematical Modeling, Engineering, Mechanics, Automation, 3D Modeling, Engineering Analysis, Virtual Environment, Simulation and Simulation Software, Matlab, Control Systems, Linear Algebra, Computer Programming Tools

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Core WordPress Development Concepts

    Skills you'll gain: WordPress, Development Environment, Content Management Systems, Data Management, PHP (Scripting Language), Database Development, Information Architecture, Application Security, Data Validation

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Interactive eLearning and Assessment with Edulastic

    Skills you'll gain: Differentiated Instruction, Learning Management Systems, Teaching, Education Software and Technology, Student Engagement, Blended Learning, Digital pedagogy, Instructional Strategies, Interactive Learning, Needs Assessment

    4.8
    Rating, 4.8 out of 5 stars
    ·
    49 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Wind Power Generation

    Skills you'll gain: Electrical Power, Energy and Utilities, Electrical Systems, Power Electronics, Sustainable Technologies, Mechanical Design, Engineering, Emerging Technologies, Engineering Calculations

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Building and Training Neural Networks with PyTorch

    Skills you'll gain: Recurrent Neural Networks (RNNs), PyTorch (Machine Learning Library), Convolutional Neural Networks, Deep Learning, Classification Algorithms, Transfer Learning, Applied Machine Learning, Image Analysis, Model Evaluation, Artificial Neural Networks, Computer Vision, Data Preprocessing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Relational Database Design

    Skills you'll gain: Database Design, Relational Databases, Database Theory, Data Modeling, Unified Modeling Language, Database Management, Databases, Data Integrity, Diagram Design, Dependency Analysis, Conceptual Design, Requirements Analysis

    Build toward a degree

    3.8
    Rating, 3.8 out of 5 stars
    ·
    14 reviews

    Beginner · Course · 1 - 4 Weeks

1…427428429…587

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

  • Strategic Management: Fundação Instituto de Administração
  • Project Management Professional Prep: Packt
  • AWS Certified Machine Learning - Specialty: Pearson
  • Data Structures for Designers Using Python: University of Michigan
  • Mindful Eating: National Academy of Sports Medicine
  • Graduate Admission Prediction with Pyspark ML: Coursera
  • 현대 로봇공학, 강좌 1: 로봇 동작의 기초: Northwestern University
  • Core WordPress Development Concepts: Packt
  • Interactive eLearning and Assessment with Edulastic: Coursera
  • Wind Power Generation: L&T EduTech

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