|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2021
Anzahl der Publikationen: 1
2021
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