research
∙
01/15/2023
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems
We present a machine learning approach to quantitative verification. We ...
share
research
∙
12/28/2022
Lexicographic Multi-Objective Reinforcement Learning
In this work we introduce reinforcement learning techniques for solving ...
research
∙
12/01/2022
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Automated synthesis of provably correct controllers for cyber-physical s...
research
∙
09/21/2022
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
LCRL is a software tool that implements model-free Reinforcement Learnin...
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
∙
02/02/2019
