Sota Sato
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP. | Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo |
| 2024 | CAV | Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. | Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo |
| 2024 | SAC | 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 |
| 2023 | HCI | Educational Effect of Molecular Dynamics Simulation in a Smartphone Virtual Reality System. | Kenroh Matsuda, Nobuaki Kikkawa, Seiji Kajita, Sota Sato, Tomohiro Tanikawa |
| 2021 | FM | Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. | Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo |