3 papers
cs.LG2026
SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning
Zijian Guo, İlker Işık, H. M. Sabbir Ahmad +1
Specification-guided reinforcement learning (RL) provides a principled framework for encoding complex, temporally extended tasks using formal specifications such as linear temporal…
cs.LG2025
Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems
H. M. Sabbir Ahmad, Ehsan Sabouni, Alexander Wasilkoff +6
We address the problem of safe policy learning in multi-agent safety-critical autonomous systems. In such systems, it is necessary for each agent to meet the safety requirements at…
cs.AI2025
One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning
Zijian Guo, İlker Işık, H. M. Sabbir Ahmad +1
Generalizing to complex and temporally extended task objectives and safety constraints remains a critical challenge in reinforcement learning (RL). Linear temporal logic (LTL) offe…