Ichiro Hasuo

National Institute of Informatics — Japan

Computer Science · Physical Sciences

22h-index1.8kcitations221works0.92yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(116), Logic, programming, and type systems(78), Logic, Reasoning, and Knowledge(65), Software Reliability and Analysis Research(26), Software Testing and Debugging Techniques(24)

Publications221 total

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
Lecture notes in computer science·2025
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
Lecture notes in computer science·2025
Componentwise Automata Learning for System Integration
Lecture notes in computer science·2025
A Variety of Request-Response Specifications
arXiv (Cornell University)·2025Open Access
Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control
Theoretical Computer Science·2025Open Access
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
ArXiv.org·2025Open Access
Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
arXiv (Cornell University)·2025Open Access
A Unifying Approach to Product Constructions for Quantitative Temporal Inference
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
Monitoring Temporal Specifications
2025
Safety Standards and Safety Assurance Framework for ADS
2025
Formal Specification of Temporal Properties
2025
Theorem Proving at Work
2025· 1 cited
Safety Assurance under Uncertainties
2025· 1 cited
Optimisation-Based Falsification—Showcasing Black-Box Techniques for System Safety
2025
Decision Making for Automated Driving
2025
Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control
Lecture notes in computer science·2024
Compositional Solution of Mean Payoff Games by String Diagrams
Lecture notes in computer science·2024· 3 cited
CauMon: An Informative Online Monitor for Signal Temporal Logic
Lecture notes in computer science·2024· 2 citedOpen Access
The Opacity of Timed Automata
Lecture notes in computer science·2024· 6 citedOpen Access
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
arXiv (Cornell University)·2024Open Access
page 1 of 12Next →

Frequent Co-authors

Bart Jacobs(11), Zhenya Zhang(8), Paolo Arcaini(7), Ana Sokolova(4), Gidon Ernst(4), Sean Sedwards(4), Naohiko Hoshino(4), Kohei Suenaga(4), Natsuki Urabe(3), Takumi Akazaki(2), Chris Heunen(2), Koko Muroya(2), Deyun Lyu(2), Lei Ma(2), Jianjun Zhao(2), David Galindo(2), Kenta Cho(2), Toshiki Kataoka(2), Jérémy Dubut(2), Tarmo Uustalu(2)