conf.researchr.org / Ichiro Hasuo
Registered user since Tue 27 Oct 2015
Name:Ichiro Hasuo
Country:Japan
Affiliation:National Institute of Informatics, Japan
Personal website: http://group-mmm.org/~ichiro/
Research interests:semantics, category theory, verification, hybrid systems
Contributions
2025
ATVA
- Author of Compositional Probabilistic Model Checking with String Diagrams of MDPs within the NIER-track
- Author of Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games within the ATVA Papers-track
- Session Chair of Monitoring and Runtime Verification (part of ATVA Papers)
- Author of Componentwise Automata Learning for System Integration within the ATVA Papers-track
- Committee Member in Programme Committee