Sota Sato - Group MMM

My research interests lie in the application of formal methods under uncertainty. In particular, I am currently working on search-based testing on hybrid systems by temporal logics and metaheuristic optimization algorithms.

Papers

Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo. Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. 36th International Conference on Computer-Aided Verification, 2024 [doi] [arXiv]
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama. Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. The 39th ACM/SIGAPP Symposium On Applied Computing (SAC), 2024 [doi] [arXiv]
Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo. Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: a Gas Turbine Case Study. 24th International Symposium on Formal Methods, Lecture Notes in Computer Science, 2021 [doi]
Sota Sato, Masaki Waga, Ichiro Hasuo. Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. 7th IFAC Conference on Analysis and Design of Hybrid Systems, IFAC-PapersOnLine, 2021 [doi] [arXiv]

Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo. Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. 36th International Conference on Computer-Aided Verification, July 28, 2024 [slides]
Sota Sato, Masaki Waga, Ichiro Hasuo. Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. 7th IFAC Conference on Analysis and Design of Hybrid Systems, July 9, 2021
Sota Sato, Masaki Waga, Ichiro Hasuo. Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. 6th Workshop on Monitoring and Testing of Cyber-physical Systems, May 18, 2021 [abstract] [slides]

email: sotasato_at_nii.ac.jp