1 citations · 1 across the 3 of their papers we have counts for
4 papers
Learning Rational Strategies for Temporal Objectives in Multi-Agent Systems
Omar Adalat, Edwin Hamel-De le Court, Francesco Belardinelli
We study rational synthesis for stochastic multi-agent systems with unknown dynamics, where each agent is equipped with its own probabilistic temporal objective specified using Pro…
Contract-Based Compositional Shielding for Safe Multi-Agent Reinforcement Learning
Omar Adalat, Edwin Hamel-De le Court, Francesco Belardinelli
Safe coordination problems surface in multi-agent reinforcement learning when global safety cannot be enforced by any agent unilaterally: the admissibility of one agent's action ma…
Robust Shielding for Safe Reinforcement Learning
Edwin Hamel-De le Court, Thom Badings, Alessandro Abate +2
Shielding is an effective approach to formally guarantee the safety of reinforcement learning agents in Markov decision processes (MDPs). However, existing shielding techniques typ…
New tools for state complexity
Pascal Caron, Edwin Hamel-De le court, Jean-Gabriel Luque +1
A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of functions allowing one to transform a set of a…