[BRAJ24]
Thom Badings, Licio Romao, Alessandro Abate and Nils Jansen.
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions.
In Proc. European Control Conference (ECC'24).
2024.
[Uses data-driven abstractions for control of stochastic dynamical systems, using PRISM to solve IMDPs]
|
Links:
[Google]
[Google Scholar]
|