@misc{indiciae08d2f08a2a2b,
  title = {Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints},
  author = {Takuma Kinugawa and Kazumune Hashimoto and Toshimitsu Ushio},
  year = {2019},
  url = {https://arxiv.org/abs/1912.02513},
  note = {Source identifier: 1912.02513}
}