Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.

Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo

Browse the full FM paper archive.