|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
Ernst, Gidon; Sedwards, Sean; Zhang, Zhenya und Hasuo, Ichiro
(2021):
Falsification of Hybrid Systems Using Adaptive Probabilistic Search.
In: Acm Transactions on Modeling and Computer Simulation, Bd. 31, Nr. 3, 18