TY  - RPRT
TI  - Towards Efficient Controller Synthesis Techniques for Logical LTL Games
AU  - Stanly Samuel
AU  - Deepak D'Souza
AU  - Raghavan Komondoor
PY  - 2023
UR  - https://arxiv.org/abs/2306.02427
ID  - 2306.02427
ER  -