 Safe Model-based Control from Signal Temporal Logic Specifications Using
Recurrent Neural NetworksIEEE International Conference on Robotics and Automation (ICRA), 2021 |
 Certified Reinforcement Learning with Logic GuidanceArtificial Intelligence (AI), 2019 |