3 accepted papers
{\em Reinforcement learning} (RL) for {\em reachability specifications} is fundamental in sequential decision-making, yet theoretical guarantees remain less explored. A recent work achieves {\em asymptotic convergence} to optimal policies. However, this approach provides limited insight into converg…
We consider a class of optimization problems defined by a system of linear equations with min and max operators. This class of optimization problems has been studied under restrictive conditions, such as, (C1) the halting or stability condition; (C2) the non-negative coefficients condition…
Reinforcement Learning (RL) from temporal logical specifications is a fundamental problem in sequential decision making. One of the basic and core such specification is the reachability specification that requires a target set to be eventually visited. Despite strong empirical results for RL from su…