Gaussian Process-Based Confidence Estimation for Hybrid System Falsification

von Zhang, Zhenya
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches

von Zhang, Zhenya
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness

von Zhang, Zhenya
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Performance and Stability of Algal-Bacterial Aerobic Granular Sludge in Batch Column and Tubular Reactors

von Basha, Sanha Kaizer Tajamul
Veröffentlicht in International Conference on Sustainable Development of Water and Environment (3. : 2020 : Incheon) Sustainable development of water and environment (2020)

On the Effectiveness of Signal Rescaling in Hybrid System Falsification

von Zhang, Zhenya
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)