top of page
Baxter_sim.jpg

Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks

bottom of page