Mohajerani, Sahar, Malik, Robi, Wintenberg, Andrew, Lafortune, Stéphane, and Ozay, Necmiye. Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Retrieved from https://par.nsf.gov/biblio/10249730. Automatica 130.C Web. doi:10.1016/j.automatica.2021.109723.

Mohajerani, Sahar, Malik, Robi, Wintenberg, Andrew, Lafortune, Stéphane, & Ozay, Necmiye. Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Automatica, 130 (C). Retrieved from https://par.nsf.gov/biblio/10249730. https://doi.org/10.1016/j.automatica.2021.109723

Mohajerani, Sahar, Malik, Robi, Wintenberg, Andrew, Lafortune, Stéphane, and Ozay, Necmiye. "Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications". Automatica 130 (C). Country unknown/Code not available. https://doi.org/10.1016/j.automatica.2021.109723. https://par.nsf.gov/biblio/10249730.

@article{osti_10249730,
place = {Country unknown/Code not available}, title = {Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications}, url = {https://par.nsf.gov/biblio/10249730}, DOI = {10.1016/j.automatica.2021.109723}, abstractNote = {}, journal = {Automatica}, volume = {130}, number = {C}, author = {Mohajerani, Sahar and Malik, Robi and Wintenberg, Andrew and Lafortune, Stéphane and Ozay, Necmiye}, editor = {null} }