Shogo Hattori

According to our database, Shogo Hattori authored at least 2 papers between 2016 and 2020.

Collaborative distances:

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

2020

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.

Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen

J. Inf. Process., 2020

2016

Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT.

Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016