research
∙
07/29/2023
Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows
We propose an automata-theoretic approach for reinforcement learning (RL...
share
research
∙
07/18/2021
Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach
We study distributed planning for multi-robot systems to provide optimal...
research
∙
03/26/2021
Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates
In many applications, the integrals and derivatives of signals carry val...
research
∙
02/19/2021
Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning
We present a novel reinforcement learning algorithm for finding optimal ...
research
∙
07/23/2020
Decentralized Safe Reactive Planning under TWTL Specifications
We investigate a multi-agent planning problem, where each agent aims to ...
research
∙
01/26/2020
Tractable Reinforcement Learning of Signal Temporal Logic Objectives
Signal temporal logic (STL) is an expressive language to specify time-bo...
research
∙
08/15/2019
Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations
We address the problem of achieving persistent surveillance over an envi...
research
∙
08/15/2019