Simulation and Bisimulations for Probabilistic Systems, and their Logical Contents

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


Category:
Vlog
Duration: 28:24
1,358 views
15

Nathanaël Fijalkow, University of Oxford
https://simons.berkeley.edu/talks/nathanael-fijalkow-11-07-2016
{Symmetry, Logic, Computation}



Other Videos By Simons Institute for the Theory of Computing


2016-11-08Extending Symmetric Circuits
2016-11-08Graph Isomorphism Via Non-Local Games
2016-11-08A Finite Alternation Result for Reversible Boolean Circuits
2016-11-08One Eilenberg Theorem to Rule Them All
2016-11-08Symmetric Circuits and Fixed-Point Logics
2016-11-08A Dichotomy Structure Theorem for the Resilience Problem
2016-11-08Lower Bounds for Subgraph Isomorphism and Consequences in First-Order Logic
2016-11-07Fibred Categories of Tree Automata
2016-11-07Pro-Aperiodic Monoids via Saturated Models
2016-11-07Operations on Languages and Codensity Monads
2016-11-07Simulation and Bisimulations for Probabilistic Systems, and their Logical Contents
2016-11-07New Results on Register Automata
2016-11-07Towards Capturing Order-Independent P
2016-11-07The Power of Two Variables
2016-11-07Orbit-Finite Sets
2016-10-26Error error error correcting correcting correcting codes codes codes
2016-10-26Application-Specific Algorithm Selection
2016-10-13Effectivity Issues and Results for Hilbert's 17th Problem
2016-10-07Black-Box Variational Inference for Probabilistic Programs
2016-10-07Semantic Foundations for Probabilistic Programming
2016-10-07Approximation Algorithms for Optimization under Uncertainty


Tags:
Theoretical Computer Science
{Symmetry Logic Computation}
Theory of Computation
Theory of Computing
Computer Science
UC Berkeley
Simons Institute
Nathanaël Fijalkow