Synthesis from Satisficing and Temporal Goals

Bansal et al. "Synthesis from Satisficing and Temporal Goals." AAAI Conference on Artificial Intelligence, 2022. doi:10.1609/AAAI.V36I9.21202

[Bansal et al. "Synthesis from Satisficing and Temporal Goals." AAAI Conference on Artificial Intelligence, 2022.](https://mlanthology.org/aaai/2022/bansal2022aaai-synthesis/) doi:10.1609/AAAI.V36I9.21202

@inproceedings{bansal2022aaai-synthesis,
  title     = {{Synthesis from Satisficing and Temporal Goals}},
  author    = {Bansal, Suguman and Kavraki, Lydia E. and Vardi, Moshe Y. and Wells, Andrew M.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2022},
  pages     = {9679-9686},
  doi       = {10.1609/AAAI.V36I9.21202},
  url       = {https://mlanthology.org/aaai/2022/bansal2022aaai-synthesis/}
}