TY  - RPRT
TI  - Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints
AU  - Takuma Kinugawa
AU  - Kazumune Hashimoto
AU  - Toshimitsu Ushio
PY  - 2019
UR  - https://arxiv.org/abs/1912.02513
ID  - 1912.02513
ER  -