Scholar

Ichiro Hasuo

Google Scholar ID: FSwupKwAAAAJ

Professor of Computer Science, National Institute of Informatics

Formal Methods

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,542

H-index

22

i10-index

47

Publications

20

Co-authors

0

Contact

Emailichiro@is.s.u-tokyo.ac.jp

Publications

7 items

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking

2026

Cited

0

A Variety of Request-Response Specifications

2025

Cited

0

Compositional Verification of Almost-Sure Büchi Objectives in MDPs

2025

Cited

0

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games

2025

Cited

0

Componentwise Automata Learning for System Integration (Extended Version)

2025

Cited

0

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)

2025

Cited

0

Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control

International Colloquium on Theoretical Aspects of Computing · 2024

Cited

1

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)