Isamu Hasegawa

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 10

Top Topics

Partial Observability

Formal Verification

Symbolic Model Checking

Top Venues

SIGGRAPH ASIA (Courses)

IEICE Trans. Inf. Syst.

Publications

Isamu Hasegawa, Tomoyuki Yokogawa
Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking. IEICE Trans. Inf. Syst. (1) (2022)
Isamu Hasegawa, Tomoyuki Yokogawa
Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking. CoRR (2021)
Isamu Hasegawa, Tomoyuki Yokogawa
Automatic Verification for Node-Based Visual Script Notation Using Model Checking. ICFEM (2019)
Norihito Ueno, Tomohiro Hasegawa, Prasert Prasertvithyakarn, Isamu Hasegawa, Mitsuko Okamoto, Takashi Kiriyama
Animation to games, virtual department of games in Tokyo University of the arts. SIGGRAPH Talks (2018)
Isamu Hasegawa, Tomohiro Hasegawa, Kazutaka Kurosaka, Akihiko Kishi, Akira Iwasawa, Youichiro Miyake
How to build a fantasy world based on reality: a case study of Final Fantasy XV: part II. SIGGRAPH ASIA (Courses) (2017)
Prasert Prasertvithyakarn, Tatsuhiro Joudan, Hidekazu Kato, Seiji Nanase, Masayoshi Miyamoto, Isamu Hasegawa
Procedural photograph generation from actual gameplay: snapshot AI in FINAL FANTASY XV. SIGGRAPH Talks (2017)
Isamu Hasegawa, Takashi Honjo, Hiromitsu Sasaki, Yusuke Hasuo, Takeyuki Suzuki, Yoshinobu Okushi
How to build a fantasy world based on reality: a case study of Final Fantasy XV: part I. SIGGRAPH ASIA (Courses) (2017)
Isamu Hasegawa, Takeyuki Suzuki, Yoshinobu Okushi, Tatsuhiro Joudan
How to build a fantasy world based on reality: a case study of Final Fantasy XV: part III. SIGGRAPH ASIA (Courses) (2017)
Isamu Hasegawa
Real-time technologies of Final Fantasy XV battles. SIGGRAPH Real-Time Live! (2016)
Isamu Hasegawa, Ryota Nozoe, Teppei Ono, Masahiko Koyama, Taku Ishida
Visual effects of Final Fantasy XV: concept, environment and implementation. SIGGRAPH Talks (2016)