TY  - RPRT
TI  - Synthesising Asynchronous Automata from Fair Specifications
AU  - Béatrice Bérard
AU  - Benjamin Monmege
AU  - B Srivathsan
AU  - Arnab Sur
PY  - 2026
UR  - https://arxiv.org/abs/2504.14623
ID  - 2504.14623
ER  -