I am a researcher at National Institute of Advanced Industrial Science and Technology (AIST), Japan.
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]
Talks
- 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]
Grants
- Grant-in-Aid for JSPS Fellows (Grant Number: 23KJ1011), 2023.04.25 – 2026.03.31
Education & Employment
- Researcher, Continuum Computing Trustworthiness Research Group (CCTR), Intelligent Platforms Research Institute (IPRI), National Institute of Advanced Industrial Science and Technology (AIST), Japan.
- Formerly a student at {National Institute of Informatics (NII), The Graduate University for Advanced Studies (SOKENDAI)}, supervised by Ichiro Hasuo.
Contact
email: sota.sato_at_aist.go.jp