Optimal control of multi-vehicle systems with LTL specifications. - Koichi Kobayashi; Takuro Nagami; Kunihiko Hiraishi (CDC, 2013)

Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints. - Koichi Kobayashi; Takuro Nagami; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015)