Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

Jul 31, 2020
Karen Leung, Nikos Aréchiga, Marco Pavone

* Published in the Workshop on Algorithmic Foundations of Robotics 2020 

  Access Paper or Ask Questions

Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning

Oct 30, 2019
Xin Qin, Nikos Aréchiga, Andrew Best, Jyotirmoy Deshmukh

  Access Paper or Ask Questions