Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan. Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. In 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020. pages 3583-3588, IEEE, 2020. [doi]
Abstract is missing.