Latticed-LTL synthesis in the presence of noisy inputs.

Shaull Almagor Orna Kupferman

Published in: Discret. Event Dyn. Syst. (2017)

Keyphrases

temporal logic
model checking
deterministic automata
data sets
input data
database systems
e learning
neural network
decision trees
computer vision
search space
control system
artificial intelligence
real world
noisy data
linear logic
program synthesis
bounded model checking
linear time temporal logic
real time