Sign in
Sota Sato
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 3
Top Topics
Lagrange Multiplier Method
Gas Turbine
Constrained Optimization
Penalty Functions
Top Venues
ADHS
CoRR
FM
</>
Publications
</>
Sota Sato
,
Masaki Waga
,
Ichiro Hasuo
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.
ADHS
(2021)
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)
Sota Sato
,
Masaki Waga
,
Ichiro Hasuo
Constrained Optimization for Falsification and Conjunctive Synthesis.
CoRR
(2020)