Automata Learning -- Infinite Alphabets and Application to Verification

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


Duration: 38:58
3,249 views
35

Alexandra Silva, University College London
https://simons.berkeley.edu/talks/alexandra-silva-12-06-2016
Compositionality



Other Videos By Simons Institute for the Theory of Computing


2016-12-08A Topological Approach to Compositionality in Complex Systems
2016-12-08Logic of Local Inference for Contextuality and Paradoxes
2016-12-08Compositionality in Cybersecurity
2016-12-08Towards a Resource Theory of Contextuality
2016-12-08Modelling Interfaces in Distributed Systems: Some First Steps
2016-12-07Compositionality in Categorical Quantum Computing
2016-12-07Compositional Thermodynamics
2016-12-07Multipartite Composition of Contextuality Scenarios
2016-12-07Composition and Quantum Theory: A Conjecture, and How it Could Fail
2016-12-06Operational Semantics for Single-Particle Classical Thermodynamics
2016-12-06Automata Learning -- Infinite Alphabets and Application to Verification
2016-12-06Some Thoughts on Inferring System Structure
2016-12-06The Mathematics of Networks
2016-12-06Custom Compact Closed Categories via Relations
2016-12-06Composition in Some Formal Models of Natural Language
2016-12-06Modelling Interconnected Systems with Decorated Corelations
2016-12-05From Linearizability to Eventual Consistency
2016-12-05Data Structures for Quasistrict Higher Categories
2016-12-05An Operadic Approach to Compositionality
2016-12-05Compositionality, Adequacy, and Full Abstraction
2016-12-05Semantics for Physicists


Tags:
Compositionality
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Alexandra Silva