logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
K

Kohei Suenaga

kyoto university

12H指数
94论文数
663被引数
收录论文 5
发表时间
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
T
Tsutomu Kobayashi
H 指数: 51 · 论文数: 678
J
Jie An
H 指数: 32 · 论文数: 153
F
Fuyuki Ishikawa
H 指数: 25 · 论文数: 226
I
Ichiro Hasuo
H 指数: 22 · 论文数: 223
A
Akihisa Yamada
H 指数: 16 · 论文数: 109
查看更多