research
∙
09/21/2022
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
LCRL is a software tool that implements model-free Reinforcement Learnin...
share
research
∙
02/26/2020
Cautious Reinforcement Learning with Logical Constraints
This paper presents the concept of an adaptive safe padding that forces ...
research
∙
11/22/2019
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
We propose a method for efficient training of deep Reinforcement Learnin...
research
∙
08/06/2019
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization
Deep neural networks (DNNs) increasingly replace traditionally developed...
research
∙
02/02/2019
Certified Reinforcement Learning with Logic Guidance
This paper proposes the first model-free Reinforcement Learning (RL) fra...
research
∙
12/18/2018
