@inproceedings{FK20,
  author    = {R. Faran and O. Kupferman},
  title     = {On $(I/O)$-aware Good-For-Games Automata},
  booktitle = {Automated Technology for Verification and Analysis - 18th International
               Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12302},
  pages     = {161--178},
  publisher = {Springer},
  year      = {2020}
  }