logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
K

Kohei Suenaga

kyoto university

12H-index
94Paper Count
663Citation Count
Published Papers 5
Publication Date
logo
Active Learning of Symbolic Mealy Automata
errTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
err2026-01-01
err0
PREAI
errIrie, Kengo; Waga, Masaki; Suenaga, Kohei
errShare
errSave
Componentwise Automata Learning for System Integration
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errFujinami, Hiroya; Waga, Masaki; An, Jie; Suenaga, Kohei; Yanagisawa, Nayuta; Iseri, Hiroki; Hasuo, Ichiro
errShare
errSave
Efficient Black-Box Checking with Specification-Guided Abstraction
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errMatsumoto, Tsubasa; Watanabe, Kazuki; Suenaga, Kohei; Waga, Masaki
errShare
errSave
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
errartificial intelligence review
IF4.6
err2024-01-01
err0
errOAAI
errKawamoto, Yusuke; Sato, Tetsuya; Suenaga, Kohei
errShare
errSave
Goal-Aware RSS for Complex Scenarios via Program Logic
errIEEE TRANSACTIONS ON INTELLIGENT VEHICLES
IF14.3
err2023-04-01
err5
errOAAI
errHasuo, Ichiro; Eberhart, Clovis; Haydon, James; Dubut, Jeremy; Bohrer, Rose; Kobayashi, Tsutomu; Pruekprasert, Sasinee; Zhang, Xiao-Yi; Pallas, Erik Andre; Yamada, Akihisa; Suenaga, Kohei; Ishikawa, Fuyuki; Kamijo, Kenji; Shinya, Yoshiyuki; Suetomi, Takamasa
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
T
Tsutomu Kobayashi
H-index: 51 · Papers: 678
J
Jie An
H-index: 32 · Papers: 152
F
Fuyuki Ishikawa
H-index: 25 · Papers: 225
I
Ichiro Hasuo
H-index: 22 · Papers: 223
A
Akihisa Yamada
H-index: 16 · Papers: 109
View more