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

    Google

    Go Beyond the Numbers: Translate Data into Insights

    Skills you'll gain: Data Storytelling, Exploratory Data Analysis, Data Visualization, Data Visualization Software, Data Transformation, Data Presentation, Data Ethics, Tableau Software, Data Analysis, Data Manipulation, Data Preprocessing, Data Cleansing, Pandas (Python Package), Data Validation, Python Programming

    4.7
    Rating, 4.7 out of 5 stars
    ·
    890 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    The State University of New York

    Applied Digital Literacy

    Skills you'll gain: Digital Design, digital literacy, Infographics, Content Creation, Graphic Design, Multimedia, Brainstorming, Planning, Information Management, Literacy, Lifelong Learning, Computer Literacy, Critical Thinking, Investigation, Data Ethics, Research, Digital Communications, Open Source Technology, Intellectual Property, Web Content Accessibility Guidelines

    4.8
    Rating, 4.8 out of 5 stars
    ·
    312 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Database systems

    Skills you'll gain: NoSQL, Data Warehousing, Relational Databases, Database Management, Extract, Transform, Load, SQL, Databases, Data Mining, Business Intelligence, Big Data, Database Architecture and Administration, Information Systems, Database Systems, MySQL, Predictive Analytics, Database Design, MongoDB, Data Modeling, Scalability, Database Management Systems

    4.3
    Rating, 4.3 out of 5 stars
    ·
    694 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    N

    Northwestern University

    Modern Robotics, Course 1: Foundations of Robot Motion

    Skills you'll gain: Robotics, Engineering, Mechanics, Mathematical Modeling, Simulation and Simulation Software, Matlab, Computer Programming Tools, Physics, Angular

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Python Project: Software Engineering and Image Manipulation

    Skills you'll gain: Unified Modeling Language, Software Design, Image Analysis, Python Programming, Jupyter, Software Engineering, Application Programming Interface (API), Object Oriented Programming (OOP), Computer Vision, Integrated Development Environments, Computer Programming

    4.2
    Rating, 4.2 out of 5 stars
    ·
    1.5K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Edinburgh

    Know Thyself - The Value and Limits of Self-Knowledge: The Examined Life

    Skills you'll gain: Self-Awareness, Personal Development, Psychology, Research, Empathy, Cultural Diversity, Mindfulness

    4.7
    Rating, 4.7 out of 5 stars
    ·
    813 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Managing Big Data with MySQL

    Skills you'll gain: Database Design, MySQL, Relational Databases, SQL, Data Modeling, Databases, Business Intelligence, Big Data, Business Analysis, Data Analysis

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    New York Institute of Finance

    Using Machine Learning in Trading and Finance

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Financial Trading, Data Pipelines, Applied Machine Learning, Technical Analysis, Machine Learning, Securities Trading, Statistical Machine Learning, Market Trend, Financial Market, Deep Learning, Python Programming, Predictive Modeling, Model Evaluation, Time Series Analysis and Forecasting

    3.9
    Rating, 3.9 out of 5 stars
    ·
    375 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Creating Business Value with Data and Looker

    Skills you'll gain: Looker (Software), Dashboard, Data Governance, Digital Transformation, Data Literacy, Data Strategy, Real Time Data, Google Cloud Platform, Data Modeling, Business Transformation, Interactive Data Visualization, Data Visualization Software, Data Management, Data Warehousing, Data Storytelling, Data Analysis, Pivot Tables And Charts, Performance Tuning, Ad Hoc Analysis, Query Languages

    4.7
    Rating, 4.7 out of 5 stars
    ·
    456 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    N

    New York Institute of Finance

    Reinforcement Learning for Trading Strategies

    Skills you'll gain: Reinforcement Learning, Recurrent Neural Networks (RNNs), Financial Trading, Deep Learning, Portfolio Management, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Applied Machine Learning, Markov Model, Portfolio Risk, Financial Market, Time Series Analysis and Forecasting, Risk Management

    3.5
    Rating, 3.5 out of 5 stars
    ·
    246 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Build, Train and Deploy ML Models with Keras on Google Cloud

    Skills you'll gain: Model Deployment, Tensorflow, Keras (Neural Network Library), Cloud Deployment, Google Cloud Platform, Data Pipelines, MLOps (Machine Learning Operations), Deep Learning, Data Preprocessing, Model Evaluation, Artificial Neural Networks, Feature Engineering, Machine Learning, Python Programming, Data Transformation

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    .NET FullStack Developer

    Skills you'll gain: HTML and CSS, React.js, ASP.NET, Restful API, .NET Framework, Web Applications, Web Services, Front-End Web Development, JSON, Application Development, Model View Controller, Program Development, Javascript, Development Environment, Back-End Web Development, API Design, Web Development, Microsoft Visual Studio, Software Design Patterns, Cascading Style Sheets (CSS)

    4.2
    Rating, 4.2 out of 5 stars
    ·
    346 reviews

    Intermediate · Specialization · 1 - 3 Months

1…117118119…567

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

  • Go Beyond the Numbers: Translate Data into Insights: Google
  • Applied Digital Literacy: The State University of New York
  • Database systems: Universidad Nacional Autónoma de México
  • Modern Robotics, Course 1: Foundations of Robot Motion: Northwestern University
  • Python Project: Software Engineering and Image Manipulation: University of Michigan
  • Know Thyself - The Value and Limits of Self-Knowledge: The Examined Life: The University of Edinburgh
  • Managing Big Data with MySQL: Duke University
  • Using Machine Learning in Trading and Finance: New York Institute of Finance
  • Creating Business Value with Data and Looker: Google Cloud
  • Reinforcement Learning for Trading Strategies: New York Institute of Finance

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