Picture for Andoni Rodriguez

Andoni Rodriguez

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis

Add code
Mar 14, 2025
Viaarxiv icon

Realizable Continuous-Space Shields for Safe Reinforcement Learning

Add code
Oct 02, 2024
Figure 1 for Realizable Continuous-Space Shields for Safe Reinforcement Learning
Figure 2 for Realizable Continuous-Space Shields for Safe Reinforcement Learning
Figure 3 for Realizable Continuous-Space Shields for Safe Reinforcement Learning
Figure 4 for Realizable Continuous-Space Shields for Safe Reinforcement Learning
Viaarxiv icon

Verification-Guided Shielding for Deep Reinforcement Learning

Add code
Jun 10, 2024
Viaarxiv icon

Shield Synthesis for LTL Modulo Theories

Add code
Jun 06, 2024
Viaarxiv icon