EasyChair Smart SlideDocs/Log in
Conference: SYNT 2018 (7th Workshop on Synthesis)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Scalable Synthesis with Symbolic Syntax Graphs

Scalable Synthesis with Symbolic Syntax Graphs

Rohin Shah, Sumith Kulal and Rastislav Bodik

Synthesizing safe AI-based controllers for cyber-physical systems

Synthesizing safe AI-based controllers for cyber-physical systems

Jyotirmoy Deshmukh

Warm-Starting Fixed-Point Based Control Synthesis

Warm-Starting Fixed-Point Based Control Synthesis

Zexiang Liu, Necmiye Ozay and Nicolas Perrin

On Inductive Verification and Synthesis

On Inductive Verification and Synthesis

Dennis Peuter and Viorica Sofronie-Stokkermans

The 5th Reactive Synthesis Competition - SYNTCOMP 2018

The 5th Reactive Synthesis Competition - SYNTCOMP 2018

Swen Jacobs and Roderick Bloem

On the Expressiveness of HyperLTL Synthesis

On the Expressiveness of HyperLTL Synthesis

Bernd Finkbeiner, Christopher Hahn, Philip Lukert and Leander Tentrup

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair