TY  - RPRT
TI  - Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
AU  - Rupak Majumdar
AU  - Anne-Kathrin Schmuck
PY  - 2021
UR  - https://arxiv.org/abs/2007.01773
ID  - 2007.01773
ER  -