Atsuyoshi Saimen

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Penalty Function

Top Venues

Publications

Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. FM (2021)