Playlist: 41 videos

Synthesis of Models and Systems

0:30:16

Guarantees in Syntax-Guided Synthesis

Loris D'Antoni (University of Wisconsin-Madison)
https://simons.berkeley.edu/talks/tbd-274
Synthesis of Models and Systems
Visit talk page
0:29:41

Counterexample-guided Repair in Boolean Functional Synthesis

Supratik Chakraborty (IIT Bombay)
https://simons.berkeley.edu/talks/tbd-311
Synthesis of Models and Systems
Visit talk page
0:18:50

Visualization By Example

Chenglong Wang (University of Washington)
https://simons.berkeley.edu/talks/tbd-312
Synthesis of Models and Systems
Visit talk page
0:26:50

Counterexample Guided Inference of Modular Specifications

Bill Hallahan (Yale University)
https://simons.berkeley.edu/talks/counterexample-guided-inference-modular-specifications
Synthesis of Models and Systems
Visit talk page
0:32:26

Towards the Automated Synthesis of Probabilistic Programs

Joost-Pieter Katoen (RWTH Aachen University)
https://simons.berkeley.edu/talks/tbd-313
Synthesis of Models and Systems
Visit talk page
0:35:10

Synthesis of Safe, Small and Optimal Strategies for Cyber-Physical Systems

Kim Larsen (Aalborg University)
https://simons.berkeley.edu/talks/tbd-314
Synthesis of Models and Systems
Visit talk page
0:36:30

Automated Verification and Control Synthesis for CPS Models

Alessandro Abate (University of Oxford)
https://simons.berkeley.edu/talks/tbd-315
Synthesis of Models and Systems
Visit talk page
0:32:56

Synthesizing Randomized Systems with Algorithmic Improvisation

Daniel Fremont (UC Santa Cruz)
https://simons.berkeley.edu/talks/tbd-316
Synthesis of Models and Systems
Visit talk page
0:31:35

Optimization-based Formal Synthesis of Control Strategies for Dynamical Systems

Calin Belta (Boston University)
https://simons.berkeley.edu/talks/tbd-317
Synthesis of Models and Systems
Visit talk page
0:32:21

Synthesis for Correctness Is Not Enough: How to Specify, Verify, and Synthesize Robust Systems

Paulo Tabuada (UCLA)
https://simons.berkeley.edu/talks/tbd-318
Synthesis of Models and Systems
Visit talk page