Displaying 217 - 228 of 376
Format results
-
-
-
Specification, Verification and Synthesis in Cyberphysical Systems
Ufuk Topcu (University of Texas at Austin) -
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman (University of Glasgow) -
Games on Graphs: from Logic and Automata to Algorithms
Marcin Jurdziński (University of Warwick) -
Introduction to Automata on Infinite Words
Orna Kupferman (Hebrew University) -
A Tutorial on Logic, With an Emphasis on the Connections With Automata Theory
Mikolaj Bojańczyk (University of Warsaw) -
Recent Developments in Supervised Learning With Noise
Ilias Diakonikolas (UW Madison) -
Testing and Reconstruction via Decision Trees
Li-Yang Tan (Stanford University) -
An Equivalence Between Private Classification and Online Prediction
Shay Moran (Technion) -
-
Hardness of Identity Testing for Potts models and RBMs
Antonio Blanca (Penn State)