Login / Signup
Takuro Nagami
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 0
Top Topics
Dynamic Constraints
Temporal Logic
Bounded Model Checking
Optimal Control
Top Venues
CDC
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
</>
Publications
</>
Koichi Kobayashi
,
Takuro Nagami
,
Kunihiko Hiraishi
Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(2) (2015)
Koichi Kobayashi
,
Takuro Nagami
,
Kunihiko Hiraishi
Optimal control of multi-vehicle systems with LTL specifications.
CDC
(2013)