Computing Probabilistic Bisimilarity Distances via Policy Iteration

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=Br9ZwumANK4


Duration: 37:28
206 views
4

Franck van Breugel, York University
https://simons.berkeley.edu/talks/franck-van-breugel-10-04-2016
Uncertainty in Computation



Other Videos By Simons Institute for the Theory of Computing


2016-10-05Probabilistic Reasoning by First-Order Model Counting
2016-10-05Stochastic Control via Entropy Compression
2016-10-05Scalable Collective Inference from Richly Structured Data using Probabilistic Soft Logic (PSL)
2016-10-05Approximate Lifted Inference with Probabilistic Databases
2016-10-05Fourier Representations in Probabilistic Inference
2016-10-05A Dichotomy for Queries with Negation in Probabilistic Databases
2016-10-05Brief Tutorial on Probabilistic Databases
2016-10-04Three Problems in Computable Probability Theory
2016-10-04Controlling Probabilistic Systems Under Partial Observation
2016-10-04Quantitative Algebraic Reasoning
2016-10-04Computing Probabilistic Bisimilarity Distances via Policy Iteration
2016-10-04Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice
2016-10-04Unifying Logic and Probability: The BLOG Language
2016-09-27Number-Theoretic Methods in Quantum Computing
2016-09-27Algorithm Design in the Modern Era: Dealing with Uncertainty and Incentives
2016-09-23Optimal Online Algorithms via Linear Scaling
2016-09-23Secretary Problems and Online Selection with A Priori Information
2016-09-23Scheduling with Uncertain Processing Times
2016-09-23Online Algorithms with Recourse
2016-09-23Online Flow-Time Optimization
2016-09-23Competitive Algorithms from Competitive Equilibria


Tags:
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Uncertainty in Computation
Franck van Breugel