Login / Signup
Mayuko Kori
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 11
Top Topics
Timed Automata
Data Types
Incremental Algorithms
State Space
Top Venues
CoRR
LICS
CAV (2)
CAV (1)
</>
Publications
</>