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

    École Polytechnique

    How to Write and Publish a Scientific Paper (Project-Centered Course)

    Skills you'll gain: Peer Review, Journals, Scientific Methods, Research, Research Design, Proofreading, Research Methodologies, Editing, Ethical Standards And Conduct, Data Management

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    GIS Data Formats, Design and Quality

    Skills you'll gain: Spatial Analysis, ArcGIS, Geographic Information Systems, Geospatial Mapping, Data Quality, Data Mapping, Data Modeling, Vector Databases, Data Management, Data Storage, Data Sharing, Data Manipulation, Relational Databases, Query Languages, Analytics

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    W

    Whizlabs

    Microsoft Fabric: Monitor and Optimize an Analytics Solution

    Skills you'll gain: Azure Synapse Analytics, Performance Tuning, System Monitoring, Data Lakes, Transact-SQL, Data Analysis Expressions (DAX), Star Schema, Microsoft Azure, Real Time Data, Power BI, Data Warehousing, Analytics, Apache Spark, Data Modeling, SQL Server Integration Services (SSIS), PySpark, Data Pipelines, Data Transformation, Debugging

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    M

    Michigan State University

    Interdisciplinarity in Thought and Practice

    Skills you'll gain: Video Editing, Creative Thinking, Multimedia, Cognitive flexibility, Photo Editing, Music, Storytelling, Brainstorming, Critical Thinking, Aesthetics, Systems Thinking, Communication

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    Incident Response and Threat Mitigation

    Skills you'll gain: Incident Response, Computer Security Incident Management, Incident Management, Cyber Threat Hunting, Endpoint Detection and Response, Intrusion Detection and Prevention, Threat Detection, Threat Management, Cybersecurity, Security Information and Event Management (SIEM), Event Monitoring, Cyber Attacks, Cyber Security Assessment, Continuous Monitoring, Security Management, Malware Protection, Cyber Engineering, Security Testing, Cyber Governance, Linux

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Virginia

    Cost and Economics in Pricing Strategy

    Skills you'll gain: Price Negotiation, Market Dynamics, Product Strategy, Revenue Management, Cost Accounting, Economics, Demand Planning, Cost Benefit Analysis, Consumer Behaviour, Case Studies, Marketing Channel, Customer Analysis, Regression Analysis, Competitive Analysis, Statistical Methods

    4.8
    Rating, 4.8 out of 5 stars
    ·
    691 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Differential Calculus through Data and Modeling

    Skills you'll gain: Calculus, Applied Mathematics, Data Modeling, Estimation, Graphing, Mathematical Modeling, Numerical Analysis, Algebra, Mathematical Software, Engineering Calculations, Linear Algebra, Trigonometry, Operations Research, Data Analysis, Graphical Tools, Advanced Mathematics, Derivatives, Mathematical Theory & Analysis, Geometry

    4.8
    Rating, 4.8 out of 5 stars
    ·
    386 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    K

    Karlsruhe Institute of Technology

    Machine Translation

    Skills you'll gain: Natural Language Processing, Artificial Neural Networks, Deep Learning, Statistical Machine Learning, Model Evaluation, Artificial Intelligence and Machine Learning (AI/ML), Recurrent Neural Networks (RNNs), Language Interpretation, Translation, and Studies, Embeddings, Multilingualism, Vocabulary

    4.5
    Rating, 4.5 out of 5 stars
    ·
    181 reviews

    Intermediate · Course · 1 - 3 Months

  • B

    BITS Pilani

    Bachelor of Science in Computer Science

    Skills you'll gain: Relational Databases, User Research, Probability & Statistics, Data Storytelling, Bash (Scripting Language), Graph Theory, Theoretical Computer Science, Object Oriented Design, Android Development, Database Design, Encryption, Bioinformatics, Feature Engineering, Algorithms, TCP/IP, Operating Systems, Version Control, Java Programming, Data Structures, Model View Controller

    Earn a degree

    Degree · 1 - 4 Years

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Python Classes and Inheritance

    Skills you'll gain: Object Oriented Programming (OOP), JSON, Object Oriented Design, Unit Testing, Python Programming, Software Testing, Data Structures

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial

    Multiple educators

    Building Trustworthy AI

    Beginner · Specialization

  • Status: Preview
    Preview
    U

    University of Michigan

    Data Science Ethics

    Skills you'll gain: Data Ethics, Informed Consent, Information Privacy, Personally Identifiable Information, Data Security, Data Governance, Ethical Standards And Conduct, Big Data, Responsible AI, Intellectual Property, Data Analysis, Social Studies, Sampling (Statistics)

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

    Beginner · Course · 1 - 3 Months

1…798081…567

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

  • How to Write and Publish a Scientific Paper (Project-Centered Course): École Polytechnique
  • GIS Data Formats, Design and Quality: University of California, Davis
  • Microsoft Fabric: Monitor and Optimize an Analytics Solution: Whizlabs
  • Interdisciplinarity in Thought and Practice: Michigan State University
  • Incident Response and Threat Mitigation: Edureka
  • Cost and Economics in Pricing Strategy: University of Virginia
  • Differential Calculus through Data and Modeling: Johns Hopkins University
  • Machine Translation: Karlsruhe Institute of Technology
  • Bachelor of Science in Computer Science: BITS Pilani
  • Python Classes and Inheritance: University of Michigan

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