TY  - RPRT
TI  - Overview of Controllability Definitions in Supervisory Control Theory
AU  - Jeroen J. A. Keiren
AU  - Michel A. Reniers
PY  - 2025
UR  - https://arxiv.org/abs/2508.05177
ID  - 2508.05177
ER  -