Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach

Amy Nejati, Anne-Kathrin Schmuck. Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach. In 63rd IEEE Conference on Decision and Control, CDC 2024, Milan, Italy, December 16-19, 2024. pages 5225-5230, IEEE, 2024. [doi]

Abstract

Abstract is missing.