Login / Signup
Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods.
Karen Leung
Nikos Aréchiga
Marco Pavone
Published in:
CoRR (2020)
Keyphrases
</>
temporal logic
back propagation
neural network
neural nets
model checking
feed forward
feed forward neural networks
fuzzy logic
logical structure
data mining
artificial intelligence
feature extraction
artificial neural networks
bp neural network
training algorithm
verification method