Logo Logo
[up] Up a level
Group by: Item Type | Date
Jump to: 2022
Number of items: 1.

2022

Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro und Zamani, Majid (2022): Automated verification and synthesis of stochastic hybrid systems: A survey. In: Automatica, Vol. 146, 110617

This list was generated on Sun Jan 19 02:25:11 2025 CET.

Open Access LMU is powered by EPrints 3, which is developed by the School of Electronics and Computer Science at the University of Southampton.
Imprint - Privacy Disclaimer