Learning specifications for reactive synthesis with safety constraints

Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan +1

This paper presents a novel approach to learning from demonstration that enables robots to autonomously execute complex tasks in dynamic environments. We model latent tasks as prob…