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:
WAFR (2021)
Keyphrases
</>
back propagation
temporal logic
artificial neural networks
model checking
neural nets
databases
neural network
domain specific
support vector machine
feed forward
logical structure
data model
multilayer perceptron
model checker
concurrent systems