Logo Logo
Group by: Item Type | Date
Number of items: 1.

Journal article

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

This list was generated on Sun Jun 16 05:05:52 2024 CEST.