DOI,IST REx ID,Research Group,Title of publication
10.48550/ARXIV.2210.05308,14600,"KrCh,ToHe",Learning control policies for stochastic systems with reach-avoid guarantees