|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro und Zamani, Majid
(2022):
Automated verification and synthesis of stochastic hybrid systems: A survey.
In: Automatica, Bd. 146, 110617