@article{astabilitybasedabstractionframeworkfor, title = {A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions}, author = {Thom Badings and Licio Romao and Alessandro Abate and Nils Jansen}, year = {2024}, eprint = {2404.01726}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2404.01726v1}, }