Constrained Optimization for Falsification and Conjunctive Synthesis. - Sota Sato 001; Masaki Waga; Ichiro Hasuo (CoRR, 2020)

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. - Sota Sato 001; Masaki Waga; Ichiro Hasuo (ADHS, 2021)

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

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. - Sota Sato 001; Jie An 001; Zhenya Zhang; Ichiro Hasuo (CAV (3), 2024)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. - Jesse Reimann; Nico Mansion; James Haydon; Benjamin Bray; Agnishom Chattopadhyay; Sota Sato 001; Masaki Waga; Étienne André; Ichiro Hasuo; Naoki Ueda; Yosuke Yokoyama (SAC, 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). - Sota Sato 001; Jie An 001; Zhang Zhenya; Ichiro Hasuo (Zenodo, 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). - Sota Sato 001; Jie An 001; Zhang Zhenya; Ichiro Hasuo (Zenodo, 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). - Sota Sato 001; Jie An 001; Zhang Zhenya; Ichiro Hasuo (Zenodo, 2024)