1. Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints. Issue 2 (2020) Authors: Kinugawa, Takuma; Hashimoto, Kazumune; Ushio, Toshimitsu Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 2143 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗