February 10, 2020
January 2020 - Our papers on "Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning", "Hyperproperties for Robotics: Motion Planning via HyperLTL", and "Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations" have been accepted at the 2020 IEEE International Conference on Robotics and Automation (ICRA)!