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

    Rutgers the State University of New Jersey

    Revolutionary Ideas: Borders, Elections, Constitutions, Prisons

    Skills you'll gain: Political Sciences, Policy Analysis, Social Sciences, Social Justice, Economics, Policy, and Social Studies, Public Policies, Governance, Law, Regulation, and Compliance, Ethical Standards And Conduct

    4.7
    Rating, 4.7 out of 5 stars
    ·
    38 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    User Experience & Interaction Design for AR/VR/MR/XR

    Skills you'll gain: Augmented and Virtual Reality (AR/VR), Storyboarding, Augmented Reality, Virtual Reality, Usability Testing, Design Thinking, Prototyping, User Experience Design, Interaction Design, Conceptual Design, Virtual Environment, Human Centered Design, User Research, Wireframing, Data Ethics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    177 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Machine Learning Algorithms with Python in Business Analytics

    Skills you'll gain: Classification Algorithms, Business Analytics, Data Preprocessing, Regression Analysis, Applied Machine Learning, Scikit Learn (Machine Learning Library), Unsupervised Learning, Business Intelligence, Predictive Modeling, Machine Learning, Python Programming, Decision Tree Learning, Supervised Learning, Model Evaluation

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    40 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Meta

    Working with Data in iOS

    Skills you'll gain: Core Data (Software), Restful API, Apple iOS, JSON, Swift Programming, Application Programming Interface (API), Mobile Development, Application Development, Data Persistence, Data Modeling, Authentications, Network Protocols

    4
    Rating, 4 out of 5 stars
    ·
    50 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidad Nacional Autónoma de México

    Simulación en ciencias de la salud

    Skills you'll gain: Clinical Practices, Patient Evaluation, Medical Devices, Virtual Environment, Learning Theory, Clinical Assessment, Constructive Feedback, Decision Making, Patient Treatment, Medical Equipment and Technology, Instructional Design, Interactive Learning, Patient Communication, Learning Strategies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    57 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universitat Autònoma de Barcelona

    Arte 3D y animación en videojuegos

    Skills you'll gain: 3D Modeling, Video Game Development, 3D Assets, Unity Engine, Game Design, User Interface (UI) Design, Visualization (Computer Graphics), Animations, User Interface and User Experience (UI/UX) Design, Computer Graphics, Music, Aesthetics, Creativity, Data Import/Export

    4.5
    Rating, 4.5 out of 5 stars
    ·
    225 reviews

    Mixed · Course · 1 - 4 Weeks

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

    Imperial College London

    Validity and Bias in Epidemiology

    Skills you'll gain: Research Design, Epidemiology, Data Collection, Biostatistics, Research Methodologies, Public Health and Disease Prevention, Regression Analysis, Statistical Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    252 reviews

    Intermediate · Course · 1 - 4 Weeks

  • I

    Instituto Tecnológico de Aeronáutica

    Princípios de Desenvolvimento Ágil de Software

    Skills you'll gain: User Story, Agile Software Development, Backlogs, Agile Methodology, Scrum (Software Development), Sprint Retrospectives, Test Driven Development (TDD), Requirements Analysis, Sprint Planning, Software Development Methodologies, Software Engineering, Program Development, Diagram Design, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    221 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Cisco Learning and Certifications

    Introduction to Network Automation

    Skills you'll gain: Software-Defined Networking, Network Engineering, Network Architecture, Scripting, Application Programming Interface (API), Data Modeling, General Networking, Network Planning And Design, Automation, Network Administration, Linux Commands, Python Programming, Network Protocols, Command-Line Interface

    4.7
    Rating, 4.7 out of 5 stars
    ·
    88 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    PyTorch: Techniques and Ecosystem Tools

    Skills you'll gain: Transfer Learning, Embeddings, Model Evaluation, Convolutional Neural Networks, Data Preprocessing, Model Deployment

    5
    Rating, 5 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Financial Statements in Power BI

    Skills you'll gain: Data Analysis Expressions (DAX), Snowflake Schema, Power BI, Financial Statements, Business Intelligence, Financial Reporting, Cash Flows, Microsoft Excel, Financial Data, Data Modeling, Balance Sheet, Income Statement, SQL

    4.7
    Rating, 4.7 out of 5 stars
    ·
    38 reviews

    Beginner · Course · 1 - 3 Months

1…209210211…574

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

  • Revolutionary Ideas: Borders, Elections, Constitutions, Prisons: Rutgers the State University of New Jersey
  • User Experience & Interaction Design for AR/VR/MR/XR: University of Michigan
  • Machine Learning Algorithms with Python in Business Analytics: University of Illinois Urbana-Champaign
  • Working with Data in iOS: Meta
  • Simulación en ciencias de la salud: Universidad Nacional Autónoma de México
  • Arte 3D y animación en videojuegos: Universitat Autònoma de Barcelona
  • Practical Data Science for Data Analysts: Corporate Finance Institute
  • Validity and Bias in Epidemiology: Imperial College London
  • Princípios de Desenvolvimento Ágil de Software: Instituto Tecnológico de Aeronáutica
  • Introduction to Network Automation: Cisco Learning and Certifications

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