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
- Compositional Probabilistic Model Checking with String Diagrams of MDPs
- Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
- Session Chair of Monitoring and Runtime Verification (part of ATVA Papers)
- Componentwise Automata Learning for System Integration
- Committee Member in Programme Committee
Using general profile