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

    Pontificia Universidad Católica de Chile

    ¿Cómo viajamos por la ciudad? Asignación y equilibrio en redes de transporte.

    Skills you'll gain: Traffic Flow Optimization, Transportation Operations, Supply And Demand, Network Analysis, Network Model, Mathematical Modeling, Game Theory, Graph Theory, Economics, Algorithms, Applied Mathematics

    4.9
    Rating, 4.9 out of 5 stars
    ·
    56 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Icahn School of Medicine at Mount Sinai

    Systems Biology and Biotechnology Capstone

    Skills you'll gain: Data Synthesis, Network Analysis, Biology, Biotechnology, Data Integration, Systems Engineering, Laboratory Testing, Bioinformatics, Systems Integration, Research, Simulation and Simulation Software, Mathematical Modeling

    4.5
    Rating, 4.5 out of 5 stars
    ·
    12 reviews

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Tesla Stock Price Prediction using Facebook Prophet

    Skills you'll gain: Technical Analysis, Time Series Analysis and Forecasting, Predictive Modeling, Market Data, Financial Forecasting, Applied Machine Learning, Trend Analysis, Financial Analysis, Data Visualization, Google Sheets, Interactive Data Visualization, Machine Learning, Data Manipulation, Data Import/Export

    4.2
    Rating, 4.2 out of 5 stars
    ·
    143 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Steel Multi Storey Building - System Design

    Skills you'll gain: Construction Inspection, Structural Analysis, Structural Engineering, Building Design, Construction, Building Codes, Architectural Drawing, Industrial Design, Commercial Construction, Architectural Engineering, Engineering Drawings, Civil Engineering, Computer-Aided Design, Failure Analysis, Technical Drawing, Engineering Analysis, Engineering Calculations, Engineering Design Process, Engineering Software, Sustainable Engineering

    4.9
    Rating, 4.9 out of 5 stars
    ·
    43 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Marketing, Communication, and PR

    Skills you'll gain: Marketing and Public Relations, Integrated Marketing Communications, Marketing Communications, Public Relations, Storytelling, Strategic Communication, Target Audience, Campaign Management, Content Creation, Digital Media Strategy, Ethical Standards And Conduct, AI Personalization, Marketing Analytics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    36 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Biostatistics Study Design and Analysis for Grant Writing

    Skills you'll gain: Grant Writing, Sample Size Determination, Biostatistics, Statistical Analysis, Data Analysis, Clinical Research, Statistical Methods, Science and Research, Statistical Hypothesis Testing, Data Collection

    5
    Rating, 5 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Global Postharvest Loss Prevention: Fundamentals, Technologies, and Actors

    Skills you'll gain: Loss Prevention, Waste Minimization, Food Quality Assurance And Control, Supply Chain, Food and Beverage, Supply Chain Management, Market Dynamics, Economics, Capacity Planning, Stakeholder Management, Systems Thinking, Analysis, Education and Training

    4.7
    Rating, 4.7 out of 5 stars
    ·
    178 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Using Generative AI for Learning Design Activities

    Skills you'll gain: Generative AI, Prompt Engineering, Ideation, Instructional Design, Brainstorming, Design Strategies, Content Creation, Persona Development, Professional Development, digital literacy

    4.9
    Rating, 4.9 out of 5 stars
    ·
    21 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Advanced HR Leadership & Strategy for SHRM Exams Prep

    Skills you'll gain: Talent Acquisition, Leadership Development, Diversity Equity and Inclusion Initiatives, HR Tech, Human Resource Strategy, Workplace inclusivity, Recruitment, Strategic Leadership, Human Resources Information System (HRIS), Cultural Diversity, Organizational Effectiveness, Team Building, Decision Making, Employee Onboarding, Innovation, Change Management

    4
    Rating, 4 out of 5 stars
    ·
    29 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    Novartis

    Targets, Assays & Screening

    Skills you'll gain: Drug Development, Pharmaceuticals, Pre-Clinical Development, Pharmacology, Laboratory Testing, Biochemical Assays, Clinical Research, Pharmaceutical Terminology, Verification And Validation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    35 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    G

    Google

    Data Structures in Python

    Skills you'll gain: Data Wrangling, Data Import/Export

    5
    Rating, 5 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    F

    Fred Hutchinson Cancer Center

    Researcher's Guide to Omic Data

    Skills you'll gain: Bioinformatics, Molecular Biology, Data Processing, Data Analysis, Data Literacy, Exploratory Data Analysis, Laboratory Research, Metadata Management, Science and Research, R Programming, Spatial Data Analysis, Scientific Methods, Data Collection, Data Quality, Research, Quantitative Research, Informatics, Biology, Laboratory Techniques, Analysis

    3.7
    Rating, 3.7 out of 5 stars
    ·
    34 reviews

    Intermediate · Specialization · 3 - 6 Months

1…321322323…581

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

  • ¿Cómo viajamos por la ciudad? Asignación y equilibrio en redes de transporte.: Pontificia Universidad Católica de Chile
  • Systems Biology and Biotechnology Capstone: Icahn School of Medicine at Mount Sinai
  • Tesla Stock Price Prediction using Facebook Prophet: Coursera
  • Steel Multi Storey Building - System Design: L&T EduTech
  • Marketing, Communication, and PR: Microsoft
  • Biostatistics Study Design and Analysis for Grant Writing: University of Colorado System
  • Global Postharvest Loss Prevention: Fundamentals, Technologies, and Actors: University of Illinois Urbana-Champaign
  • Using Generative AI for Learning Design Activities : University of Michigan
  • Advanced HR Leadership & Strategy for SHRM Exams Prep: Board Infinity
  • Targets, Assays & Screening: Novartis

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