@inproceedings{AK20,
  author    = {R. Alon and O. Kupferman}
   title     = {Mutually Accepting Capacitated Automata},
  booktitle = dcsf20,
  series    = {Lecture Notes in Computer Science},
  volume    = {12442},
  pages     = {1--12},
  publisher = {Springer},
  year      = {2020}
  }