Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications

Camacho Alberto
Camacho Alberto
Cited by: 0|Bibtex|Views5|Links

Abstract:

Synthesizing a program that realizes a logical specification is a classical problem in computer science. We examine a particular type of program synthesis, where the objective is to synthesize a strategy that reacts to a potentially adversarial environment while ensuring that all executions satisfy a Linear Temporal Logic (LTL) specific...More

Code:

Data:

Your rating :
0

 

Tags
Comments