Sota Sato

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Constrained Optimization

Mazurkiewicz Traces

Top Venues

Publications

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. SAC (2024)
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CAV (3) (2024)
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. CoRR (2024)
Sota Sato, Masaki Waga, Ichiro Hasuo
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS (2021)
Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. FM (2021)
Sota Sato, Masaki Waga, Ichiro Hasuo
Constrained Optimization for Falsification and Conjunctive Synthesis. CoRR (2020)