@inproceedings{gnad-et-al-cav2021,
  author       = {Daniel Gnad and Jan Eisenhut and Alberto Lluch Lafuente and J{\"o}rg
    Hoffmann},
  title        = {Model Checking omega-Regular Properties with Decoupled Search},
  pages        = {411--434},
  editor       = {Alexandra Silva and K. Rustan M. Leino},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV} 2021,
    Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = 12760,
  publisher    = {Springer},
  year         = 2021,
}