DOI,IST REx ID,Research Group,Title of publication
null,18974,KrCh,Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance