@misc{indiciaecf7ca17e4f0e,
  title = {GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces},
  author = {Stanly Samuel and Deepak D'Souza and Raghavan Komondoor},
  year = {2021},
  doi = {10.1145/3468264.3473126},
  url = {https://arxiv.org/abs/2107.08794},
  note = {Source identifier: 2107.08794}
}