Sign in
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.
M. Fareed Arif
Daniel Larraz
Mitziu Echeverria
Andrew Reynolds
Omar Chowdhury
Cesare Tinelli
Published in:
FMCAD (2020)
Keyphrases
</>
predicate calculus
real numbers
artificial intelligence
finite sets
program synthesis
finite number
complete axiomatization
databases
unit length
execution traces
search space
natural language
high level
genetic algorithm
texture synthesis
operational semantics
np complete
data model
neural network