• 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

    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

  • Status: Free Trial
    Free Trial
    R

    Rutgers the State University of New Jersey

    Procurement Basics

    Skills you'll gain: Request For Quotation (RFQ), Stakeholder Management, Procurement, Purchasing, Request for Proposal, Supplier Management, Supply Chain Management, Cost Reduction, Case Studies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    607 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Arizona

    Astrobiology: Exploring Other Worlds

    Skills you'll gain: Biology, Life Sciences, Chemistry, Physical Science, General Science and Research, Research, Environment, Environmental Science, Scientific Methods, Microbiology

    4.9
    Rating, 4.9 out of 5 stars
    ·
    521 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    Analitik Data Google

    Skills you'll gain: Data Presentation, Data Cleansing, Data Storytelling, Rmarkdown, Data Visualization, Data Ethics, Data Literacy, Ggplot2, Data Validation, Spreadsheet Software, Tableau Software, Analytical Skills, Data Visualization Software, Data-Driven Decision-Making, Dashboard, Data Analysis, Stakeholder Management, Data Integrity, Database Management, Case Studies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    2.3K reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    BI Essentials for Finance Analysts (Tableau Edition)

    Skills you'll gain: Dashboard, Tableau Software, Interactive Data Visualization, Excel Formulas, Data Visualization Software, Data Modeling, Data Visualization, SQL, Data Presentation, E-Commerce, Databases, Data Manipulation, Data Storytelling, Data Analysis, Performance Analysis, Data Cleansing, Relational Databases, Business Intelligence, Data Transformation, Financial Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    89 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Use Power Platform for Custom & Automated Solutions

    Skills you'll gain: Microsoft Power Platform, Microsoft Power Automate/Flow, No-Code Development, Business Process Automation, Application Development, Application Design, Automation, Business Process, UI Components, Data Modeling

    3.7
    Rating, 3.7 out of 5 stars
    ·
    64 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Secure Software Design

    Skills you'll gain: Database Design, Software Design, Application Security, Vulnerability Assessments, Unified Modeling Language, Unit Testing, Threat Modeling, Usability Testing, User Interface and User Experience (UI/UX) Design, Data Flow Diagrams (DFDs), Open Web Application Security Project (OWASP), Software Architecture, Secure Coding, Object Oriented Design, Software Design Patterns, Database Management, Security Software, Systems Design, Software Development Life Cycle, Technical Design

    4.6
    Rating, 4.6 out of 5 stars
    ·
    438 reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Basic Image Classification with TensorFlow

    Skills you'll gain: Model Evaluation, Keras (Neural Network Library), Tensorflow, Image Analysis, Artificial Neural Networks, Deep Learning, Computer Vision, Machine Learning, Classification Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    847 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • U

    University of Illinois Urbana-Champaign

    Global Impact: Business Ethics

    Skills you'll gain: Stakeholder Analysis, Business Ethics, Decision Making, Cultural Sensitivity, Ethical Standards And Conduct, Intercultural Competence, Global Marketing, Case Studies, Corporate Sustainability, International Relations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    536 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Meta

    React Native

    Skills you'll gain: React Native, Mobile Development, Cross Platform Development, UI Components, Mobile Development Tools, Application Development, iOS Development, React.js, Front-End Web Development, Android Development, User Interface (UI)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    393 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Professional IQ: Preventing and Solving Problems at Work

    Skills you'll gain: Active Listening, Influencing, Negotiation, Leadership, Professional Development, Social Skills, Personal Development, Conflict Management, Decision Making, Persuasive Communication, Relationship Building, Business Ethics, Professionalism, Leadership Development, Communication, Ethical Standards And Conduct, Interpersonal Communications, Empathy, Business Leadership, Initiative and Leadership

    4.6
    Rating, 4.6 out of 5 stars
    ·
    140 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Data Engineering, Big Data and ML on Google Cloud 日本語版

    Skills you'll gain: Google Cloud Platform, Tensorflow, Data Transformation, Dataflow, Extract, Transform, Load, Data Lakes, Data Import/Export, Feature Engineering, Model Deployment, Real Time Data, Data Warehousing, Data Pipelines, Applied Machine Learning, Apache Kafka, Data Infrastructure, Data Architecture, Data Quality, Data Processing, Apache Spark, Dashboard

    4.4
    Rating, 4.4 out of 5 stars
    ·
    290 reviews

    Intermediate · Specialization · 3 - 6 Months

1…169170171…569

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

  • Predictive Modeling and Analytics : University of Colorado Boulder
  • Procurement Basics: Rutgers the State University of New Jersey
  • Astrobiology: Exploring Other Worlds: University of Arizona
  • Analitik Data Google: Google
  • BI Essentials for Finance Analysts (Tableau Edition): Corporate Finance Institute
  • Use Power Platform for Custom & Automated Solutions: Microsoft
  • Secure Software Design: University of Colorado System
  • Basic Image Classification with TensorFlow: Coursera
  • Global Impact: Business Ethics: University of Illinois Urbana-Champaign
  • React Native: Meta

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