I am a student at {National Institute of Informatics (NII), The Graduate University for Advanced Studies (SOKENDAI)}, supervised by Ichiro Hasuo.
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 for Complex STL Specifications. 36th International Conference on Computer-Aided Verification, 2024 (to appear)
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 (to appear) [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]
Talks
- 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]
Grants
- Grant-in-Aid for JSPS Fellows (Grant Number: 23KJ1011), 2023.04.25 – 2026.03.31
Contact
email: sotasato_at_nii.ac.jp