@misc{indiciae16ab0196fe3d,
  title = {Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0},
  author = {Dennis Hendriks and Michel Reniers and Wan Fokkink and Wytse Oortwijn},
  year = {2025},
  url = {https://arxiv.org/abs/2511.04370},
  note = {Source identifier: 2511.04370}
}