@misc{indiciae31b02633729f,
  title = {A symbolic approach to the self-triggered design for networked control systems},
  author = {Kazumune Hashimoto and Adnane Saoud and Masako Kishida and Toshimitsu Ushio and Dimos V. Dimarogonas},
  year = {2019},
  url = {https://arxiv.org/abs/1908.04750},
  note = {Source identifier: 1908.04750}
}