We stand with Ukraine  

Sota Sato

Affiliations:
  • National Institute of Informatics, Tokyo, Japan
  • SOKENDAI, Tokyo, Japan


According to our database1, Sota Sato authored at least 4 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
[BibTeX]
[DOI]
Jesse Reimann
,
Nico Mansion
,
James Haydon
,
Benjamin Bray
,
Agnishom Chattopadhyay
,
Sota Sato
,
Masaki Waga
,
Étienne André
,
Ichiro Hasuo
,
Naoki Ueda
,
Yosuke Yokoyama
CoRR, 2024

2021
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Sota Sato
,
Masaki Waga
,
Ichiro Hasuo
CoRR, 2020


  Loading...