Login / Signup
Keita Terashima
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Model Checker
Temporal Logic
Formal Specification Language
Reinforcement Learning
Top Venues
GCCE
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Adv. Robotics
</>
Publications
</>