3 papers
cs.SE2026
Learning to adapt GR(1) specifications through degradation
Tiberiu-Andrei Georgescu, Dalal Alrajeh, Sebastian Uchitel
Reactive synthesis is a powerful tool for generating correct-by-construction controllers from formal specifications. GR(1) is an assume-guarantee specification framework that enabl…
cs.AI2025
Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
Tiberiu-Andrei Georgescu, Alexander W. Goodall, Dalal Alrajeh +2
Shielding is widely used to enforce safety in reinforcement learning (RL), ensuring that an agent's actions remain compliant with formal specifications. Classical shielding approac…
cs.RO2022
Transferring Multi-Agent Reinforcement Learning Policies for Autonomous Driving using Sim-to-Real
Eduardo Candela, Leandro Parada, Luis Marques +3
Autonomous Driving requires high levels of coordination and collaboration between agents. Achieving effective coordination in multi-agent systems is a difficult task that remains l…