32 citations · 70 across the 23 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
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…
eess.SY2026
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
Alessandro Riccardi, Thom Badings, Luca Laurenti +2
The deployment of autonomous systems in safety-critical environments requires control policies that guarantee satisfaction of complex control specifications. These systems are comm…