Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems

From MaRDI portal
Publication:2220062

DOI10.1016/j.ejcon.2020.04.001zbMath1455.93190OpenAlexW3023718358MaRDI QIDQ2220062

Majid Zamani, Sadegh Soudjani, Ameneh Nejati

Publication date: 21 January 2021

Published in: European Journal of Control (Search for Journal in Brave)

Full work available at URL: https://scholar.colorado.edu/downloads/k643b227c




Related Items (4)


Uses Software


Cites Work


This page was built for publication: Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems