@inproceedings{AK22,
  author    = {B. Abu Radi and O. Kupferman},
  title     = {Minimization of Automata for Liveness Languages},
  booktitle = {Automated Technology for Verification and Analysis - 20th International Symposium},
  series    = {Lecture Notes in Computer Science},
  volume    = ?,
  pages     = ?,
  publisher = {Springer},
  year      = {2022}
  }