Details for the publication 0001LZF21.

Bai Xue (), Renjue Li, Naijun Zhan (), Martin Fränzle: Reach-avoid Analysis for Stochastic Discrete-time Systems. In 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021, pages 4879-4885, 2021. DOI BIB