Sota Sato

According to our database, Sota Sato authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.

Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2021

Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.

Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo

Proceedings of the Formal Methods - 24th International Symposium, 2021

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.

Sota Sato, Masaki Waga, Ichiro Hasuo

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Constrained Optimization for Falsification and Conjunctive Synthesis.

Sota Sato, Masaki Waga, Ichiro Hasuo

CoRR, 2020