@article{dblp-journals-aamas-velasquezabta24,
  title = {Controller synthesis for linear temporal logic and steady-state specifications},
  author = {Alvaro Velasquez and Ismail Alkhouri and Andre Beckus and Ashutosh Trivedi and George K. Atia},
  year = {2024},
  url = {https://dblp.org/rec/journals/aamas/VelasquezABTA24},
  journal = {Auton. Agents Multi Agent Syst. 38 ( 1 )}
}