Kenta Sugai

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Publications

Kenta Sugai, Hiroshi Hosobe, Shaoying Liu
SMT-Based Theorem Verification for Testing-Based Formal Verification. ICSCA (2021)
Shuto Murai, Kenta Sugai, Michiko Ohkura, Mizuma Masazumi, Amimoto Satuki
Interactive System to Assist Rehabilitation of Children. HCI (5) (2009)