Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice

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


Duration: 42:40
1,006 views
15

Marta Kwiatkowska, University of Oxford
https://simons.berkeley.edu/talks/marta-kwiatkowska-10-04-2016
Uncertainty in Computation



Other Videos By Simons Institute for the Theory of Computing


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
2016-09-22Online Ad Allocation: Robust Optimization for Repeated Auctions


Tags:
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Uncertainty in Computation
Marta Kwiatkowska