Latticed-LTL Synthesis in the Presence of Noisy Inputs.

Shaull Almagor Orna Kupferman

Published in: FoSSaCS (2014)

Keyphrases

model checking
linear temporal logic
bounded model checking
neural network
data mining
feature selection
database systems
video sequences
temporal logic
program synthesis