FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Abate, Alessandro	Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
B
Bessa, Iury	Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
Bodik, Rastislav	Scalable Synthesis with Symbolic Syntax Graphs
C
Cattaruzza, Dario	Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
Colange, Maximilien	Reactive Synthesis from LTL Specification with Spot
Cordeiro, Lucas	Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
D
David, Cristina	Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
Deshmukh, Jyotirmoy	Synthesizing safe AI-based controllers for cyber-physical systems
Dimitrova, Rayna	Maximum Realizability for Linear Temporal Logic Specifications
F
Finkbeiner, Bernd	On the Expressiveness of HyperLTL Synthesis
Fisman, Dana	Competition Report: SyGuS-COMP
G
Ghasemi, Mahsa	Maximum Realizability for Linear Temporal Logic Specifications
Goldman, Drew	Programming by example: efficient, but not “helpful”
H
Hahn, Christopher	On the Expressiveness of HyperLTL Synthesis
Hamza, Jad	Minimal Synthesis of String To String Functions From Examples
J
Jacobs, Swen	Competition Report: SYNTCOMP
K
Kesseli, Pascal	Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
Kroening, Daniel	Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
Kulal, Sumith	Scalable Synthesis with Symbolic Syntax Graphs
Kunčak, Viktor	Minimal Synthesis of String To String Functions From Examples
L
Liu, Zexiang	Warm-Starting Fixed-Point Based Control Synthesis
Lukert, Philip	On the Expressiveness of HyperLTL Synthesis
M
Michaud, Thibaud	Reactive Synthesis from LTL Specification with Spot
Muggleton, Stephen H.	Meta-Interpretive Learning of Logic Programs
O
Ozay, Necmiye	Warm-Starting Fixed-Point Based Control Synthesis Towards correct-by-construction controller synthesis for self-driving cars
P
Perrin, Nicolas	Warm-Starting Fixed-Point Based Control Synthesis
Peuter, Dennis	On Inductive Verification and Synthesis
Piskac, Ruzica	Programming by example: efficient, but not “helpful”
Polgreen, Elizabeth	Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
S
Santolucito, Mark	Programming by example: efficient, but not “helpful”
Shah, Rohin	Scalable Synthesis with Symbolic Syntax Graphs
Sofronie-Stokkermans, Viorica	On Inductive Verification and Synthesis
T
Tentrup, Leander	On the Expressiveness of HyperLTL Synthesis
Topcu, Ufuk	Maximum Realizability for Linear Temporal Logic Specifications
V
Vechev, Martin	Probabilistic and Interpretable Models of Code
W
Weseley, Allyson	Programming by example: efficient, but not “helpful”

Disclaimer | Powered by EasyChair Smart Program