@misc{indiciae8d4bbe2168e6,
  title = {Supervisory Control Theory with Event Forcing},
  author = {Michel Reniers and Kai Cai},
  year = {2024},
  url = {https://arxiv.org/abs/2404.08469},
  note = {Source identifier: 2404.08469}
}