FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

On Inductive Verification and Synthesis

Dennis Peuter and Viorica Sofronie-Stokkermans

Scalable Synthesis with Symbolic Syntax Graphs

Rohin Shah, Sumith Kulal and Rastislav Bodik

Synthesizing safe AI-based controllers for cyber-physical systems

Jyotirmoy Deshmukh

Warm-Starting Fixed-Point Based Control Synthesis

Zexiang Liu, Necmiye Ozay and Nicolas Perrin

On the Expressiveness of HyperLTL Synthesis

Bernd Finkbeiner, Christopher Hahn, Philip Lukert and Leander Tentrup
Total: 5 presentations.