Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Runtime Enforcement for Reactive Systems: Shield Synthesis
Graph Chatbot
Related lectures (33)
Recurrence and Transience: Markov Chains
Log in to Mediaspace to watch this video
Explores recurrence and transience in Markov chains, discussing the strong Markov property and state classifications.
Markov Chains: Ergodic Chains Examples
Log in to Mediaspace to watch this video
Covers stochastic models for communications, focusing on discrete-time Markov chains.
Markov Chains: Ergodic Chains Examples
Log in to Mediaspace to watch this video
Covers stochastic models for communications, focusing on discrete-time Markov chains.
Markov Chain Games
Log in to Mediaspace to watch this video
Explores Markov chain games, hitting probabilities, and expected hitting times in a target set.
Reactive Agents: Decision Processes
Log in to Mediaspace to watch this video
Explores reactive agents and decision processes, covering topics such as Markov Decision Processes and real-time agents.
Dependability Evaluation in Industrial Automation
Log in to Mediaspace to watch this video
Explores dependability evaluation, preventive maintenance, reliability, Markov models, FMEA, FTA, and software safety integrity in industrial automation.
Applied Probability & Stochastic Processes
Log in to Mediaspace to watch this video
Covers applied probability, Markov chains, and stochastic processes, including transition matrices, eigenvalues, and communication classes.
Markov Chains: Ergodic Chains Examples
Log in to Mediaspace to watch this video
Covers stochastic models for communications, focusing on discrete-time Markov chains.
Markov Chains: Transition Densities
Log in to Mediaspace to watch this video
Covers Markov processes, transition densities, and distribution conditional on information, discussing classification of states and stationary distributions.
Stochastic Processes: Markov Chains
Log in to Mediaspace to watch this video
Covers stochastic processes, focusing on Markov chains and their applications in real-world scenarios.
Machine Learning: Supervised and Unsupervised Learning Techniques
Log in to Mediaspace to watch this video
Covers supervised and unsupervised learning techniques in machine learning, highlighting their applications in finance and environmental analysis.
Probability Inequalities
Log in to Mediaspace to watch this video
Explores probability inequalities, convergence types, and moment generating functions for distribution approximation.
Deep and Convolutional Networks: Generalization and Optimization
Log in to Mediaspace to watch this video
Explores deep and convolutional networks, covering generalization, optimization, and practical applications in machine learning.
Previous
Page 2 of 2
Next
