research
∙
03/06/2023
Safe Reinforcement Learning via Probabilistic Logic Shields
Safe Reinforcement learning (Safe RL) aims at learning optimal policies ...
share
research
∙
12/15/2022
Memory-like Adaptive Modeling Multi-Agent Learning System
In this work, we propose a self-supervised multi-agent system, termed a ...
research
∙
11/07/2022
Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
We propose a framework for learning a fragment of probabilistic computat...
research
∙
06/22/2021
Lifted Model Checking for Relational MDPs
Model checking has been developed for verifying the behaviour of systems...
research
∙
04/07/2021