Shogo Hattori

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 2

Top Topics

Safety Analysis

Symbolic Representation

Top Venues

J. Inf. Process.

Publications

Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT. J. Inf. Process. 28 (2020)
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. FTSCS (2016)