Login / Signup
Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods.
Karen Leung
Nikos Aréchiga
Marco Pavone
Published in:
Int. J. Robotics Res. (2023)
Keyphrases
</>
temporal logic
back propagation
neural network
model checking
neural nets
logical structure
artificial neural networks
feedforward neural networks
concurrent systems
backpropagation neural network
transition systems