Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality

Amogh Palasamudram, Jakub Svoboda, Suguman Bansal +1

Reinforcement learning (RL) for reachability specifications is fundamental in sequential decision-making, yet theoretical guarantees remain less explored. A recent work achieves as…