research
∙
03/08/2022
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping
We present a computational framework for synthesis of distributed contro...
share
research
∙
03/29/2021
Model-Based Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks
We propose a policy search approach to learn controllers from specificat...
research
∙
09/24/2020
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
We propose a framework based on Recurrent Neural Networks (RNNs) to dete...
research
∙
02/09/2019