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
</>
Keita Terashima
,
Koichi Kobayashi
,
Yuh Yamashita
On reward distribution in reinforcement learning of multi-agent surveillance systems with temporal logic specifications.
Adv. Robotics
38 (6) (2024)
Keita Terashima
,
Koichi Kobayashi
,
Yuh Yamashita
Reinforcement Learning for Multi-Agent Systems with Temporal Logic Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
107 (1) (2024)
Keita Terashima
,
Koichi Kobayashi
,
Yuh Yamashita
On Reward Distribution in Reinforcement Learning of Multi-Agent Surveillance Systems With Temporal Logic Specifications.
GCCE
(2023)