research
∙
09/09/2023
Verifiable Reinforcement Learning Systems via Compositionality
We propose a framework for verifiable and compositional reinforcement le...
share
research
∙
03/02/2023
Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal-Logic Tasks
Control and planning of multi-agent systems is an active and increasingl...
research
∙
04/20/2022
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics
We study the problem of reinforcement learning for a task encoded by a r...
research
∙
06/07/2021
Verifiable and Compositional Reinforcement Learning Systems
We propose a novel framework for verifiable and compositional reinforcem...
research
∙
11/03/2020