• 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
    Free
    S

    Sciences Po

    Cities are back in town : urban sociology for a globalizing urban world

    Skills you'll gain: Sociology, Sustainable Development, Social Sciences, Demography, Social Justice, International Relations, Cultural Diversity, World History, Technology Strategies, Governance, Policy Analysis, Economics, Innovation, European History

    4.4
    Rating, 4.4 out of 5 stars
    ·
    190 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Cybersecurity Risk Management Frameworks

    Skills you'll gain: Risk Management, Cyber Governance, Cost Benefit Analysis, Security Management, Risk Management Framework, Vulnerability Management, Cyber Attacks, Cybersecurity, Threat Management, Cyber Risk, Operational Risk, Risk Analysis, Enterprise Risk Management (ERM), Business Risk Management, Risk Mitigation, Cyber Threat Intelligence, Vulnerability Assessments, ISO/IEC 27001, Threat Detection, Threat Modeling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    199 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    S

    Sapienza University of Rome

    Egypt before and after pharaohs.

    Skills you'll gain: Ancient History, Art History, World History, Cultural Diversity, Culture, Anthropology

    4.5
    Rating, 4.5 out of 5 stars
    ·
    164 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidad Nacional Autónoma de México

    Trigonometría y geometría analítica

    Skills you'll gain: Trigonometry, Geometry, Applied Mathematics, Algebra, Graphing, Systems Of Measurement

    4.7
    Rating, 4.7 out of 5 stars
    ·
    60 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Practical Data Science for Data Analysts

    Skills you'll gain: Classification Algorithms, Data Preprocessing, Feature Engineering, Model Evaluation, Data Import/Export, Matplotlib, Data Science, Regression Analysis, Financial Data, Data Analysis, Exploratory Data Analysis, Business Analytics, Data Cleansing, Pandas (Python Package), Machine Learning Algorithms, Statistical Visualization, Financial Analysis, Statistical Modeling, Statistical Analysis, Predictive Analytics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    28 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Cape Town

    Fintech Startups in Emerging Markets

    Skills you'll gain: Design Thinking, Entrepreneurship, Business Modeling, Blockchain, Solution Design, Cryptography, Financial Regulations, FinTech, Financial Regulation, Business Planning, Emerging Technologies, Financial Systems, Video Production, Business Strategies, Market Opportunities, Business Strategy, Mobile Banking, Banking, Machine Learning, New Business Development

    4.7
    Rating, 4.7 out of 5 stars
    ·
    260 reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Deep Learning with PyTorch : Object Localization

    Skills you'll gain: PyTorch (Machine Learning Library), Image Analysis, Convolutional Neural Networks, Computer Vision, Transfer Learning, Applied Machine Learning, Model Evaluation, Deep Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    48 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Geospatial Technology for Construction

    Skills you'll gain: Construction Engineering, Geospatial Mapping, Geospatial Information and Technology, Geographic Information Systems, Spatial Data Analysis, Construction, Construction Management, Architecture and Construction, Visualization (Computer Graphics), Civil and Architectural Engineering, Spatial Analysis, Global Positioning Systems, Survey Creation, AutoCAD Civil 3D, 3D Modeling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    20 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Data Analysis with Python

    Skills you'll gain: Unsupervised Learning, Regression Analysis, Classification Algorithms, Dimensionality Reduction, Data Analysis, Anomaly Detection, Supervised Learning, Model Evaluation, Statistical Analysis, Analytics, Logistic Regression, Data Preprocessing, Predictive Modeling, Applied Machine Learning, Statistical Modeling, Machine Learning Methods, Data Mining, Machine Learning Algorithms, Exploratory Data Analysis, Machine Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    29 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Multilevel Modeling

    Skills you'll gain: R Programming, Statistical Modeling, Statistical Methods, Regression Analysis, Statistical Analysis, R (Software), Data Preprocessing, Data Quality, Model Evaluation

    3.9
    Rating, 3.9 out of 5 stars
    ·
    19 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Health Data Science Foundation

    Skills you'll gain: Health Informatics, Deep Learning, Health Information Management, Machine Learning, Health Care, Artificial Neural Networks, Applied Machine Learning, Supervised Learning, Model Evaluation, Unsupervised Learning, Convolutional Neural Networks, Program Development, Predictive Modeling

    3
    Rating, 3 out of 5 stars
    ·
    29 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Communication Skills

    Skills you'll gain: Communication, Communication Strategies, Influencing, Verbal Communication Skills, Interpersonal Communications, Persuasive Communication, Writing, Business Writing, Motivational Skills, Empathy, Decision Making, Collaboration

    4.6
    Rating, 4.6 out of 5 stars
    ·
    112 reviews

    Beginner · Course · 1 - 4 Weeks

1…213214215…574

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

  • Cities are back in town : urban sociology for a globalizing urban world : Sciences Po
  • Cybersecurity Risk Management Frameworks: Kennesaw State University
  • Egypt before and after pharaohs. : Sapienza University of Rome
  • Trigonometría y geometría analítica: Universidad Nacional Autónoma de México
  • Practical Data Science for Data Analysts: Corporate Finance Institute
  • Fintech Startups in Emerging Markets: University of Cape Town
  • Deep Learning with PyTorch : Object Localization: Coursera
  • Geospatial Technology for Construction : L&T EduTech
  • Data Analysis with Python: University of Colorado Boulder
  • Multilevel Modeling: Erasmus University Rotterdam

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