Ameneh Nejati, Sadegh Soudjani, Majid Zamani. Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Eur. J. Control, 57:82-94, 2021. [doi]
@article{NejatiSZ21, title = {Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems}, author = {Ameneh Nejati and Sadegh Soudjani and Majid Zamani}, year = {2021}, doi = {10.1016/j.ejcon.2020.04.001}, url = {https://doi.org/10.1016/j.ejcon.2020.04.001}, researchr = {https://researchr.org/publication/NejatiSZ21}, cites = {0}, citedby = {0}, journal = {Eur. J. Control}, volume = {57}, pages = {82-94}, }