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

Ichiro Hasuo

research organization of information & systems (rois)

22H指数
223论文数
1.8K被引数
收录论文 9
发表时间
logo
CauMon: A tool for online monitoring against signal temporal logicCauMon：用于信号时序逻辑的在线监控工具
errScience of Computer Programming
IF1.4
err2026-08-01
err0
PREAI
errZhang, Zhenya; An, Jie; Arcaini, Paolo; Hasuo, Ichiro
err分享
err收藏
Compositional Verification of Almost-Sure Buchi Objectives in MDPs马尔可夫决策过程(MDPs)中几乎必然Büchi目标的组成验证
errREACHABILITY PROBLEMS, RP 2025
IF0
err2026-01-01
err0
PREAI
errvan der Vegt, Marck; Watanabe, Kazuki; Hasuo, Ichiro; Junges, Sebastian
err分享
err收藏
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games带界值迭代的随机博弈中最宽路径博弈与最大性继承
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errPhalakarn, Kittiphon; Tsai, Yun Chen; Hasuo, Ichiro
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收藏
Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control几乎必然获胜和正获胜的随机公平博弈的策略模板，面向容错和弹性控制
errTHEORETICAL COMPUTER SCIENCE
IF1
err2025-09-01
err0
errOAAI
errPhalakarn, Kittiphon; Pruekprasert, Sasinee; Hasuo, Ichiro
err分享
err收藏
Activities of National Institute of Informatics in Japan
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-06-22
err1
errOAAI
errKitsuregawa, Masaru; Urushidani, Shigeo; Yamaji, Kazutsuna; Takakura, Hiroki; Hasuo, Ichiro; Sato, Imari; Ishikawa, Fuyuki; Echizen, Isao; Mori, Kensaku
err分享
err收藏
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage CriteriaFalsifAI: 以时间感知覆盖标准为指导的AI混合控制系统的伪造
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-04-01
err5
PREAI
errZhang, Zhenya; Lyu, Deyun; Arcaini, Paolo; Ma, Lei; Hasuo, Ichiro; Zhao, Jianjun
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收藏
Parametric Timed Pattern Matching
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-02-13
err4
errOAAI
errWaga, Masaki; Andre, Etienne; Hasuo, Ichiro
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
K
Kensaku Mori
H 指数: 53 · 论文数: 772
T
Tsutomu Kobayashi
H 指数: 51 · 论文数: 678
L
Lei Ma
H 指数: 43 · 论文数: 259
M
Masaru Kitsuregawa
H 指数: 42 · 论文数: 642
J
Jianjun Zhao
H 指数: 40 · 论文数: 435
查看更多