Saoud, Adnane, and Arcak, Murat. Characterization, verification and computation of robust controlled invariants for monotone dynamical systems. Retrieved from https://par.nsf.gov/biblio/10508724. Mathematics of Control, Signals, and Systems 36.1 Web. doi:10.1007/s00498-023-00368-z.

Saoud, Adnane, & Arcak, Murat. Characterization, verification and computation of robust controlled invariants for monotone dynamical systems. Mathematics of Control, Signals, and Systems, 36 (1). Retrieved from https://par.nsf.gov/biblio/10508724. https://doi.org/10.1007/s00498-023-00368-z

Saoud, Adnane, and Arcak, Murat. "Characterization, verification and computation of robust controlled invariants for monotone dynamical systems". Mathematics of Control, Signals, and Systems 36 (1). Country unknown/Code not available: MCSS. https://doi.org/10.1007/s00498-023-00368-z. https://par.nsf.gov/biblio/10508724.

@article{osti_10508724,
place = {Country unknown/Code not available}, title = {Characterization, verification and computation of robust controlled invariants for monotone dynamical systems}, url = {https://par.nsf.gov/biblio/10508724}, DOI = {10.1007/s00498-023-00368-z}, abstractNote = {}, journal = {Mathematics of Control, Signals, and Systems}, volume = {36}, number = {1}, publisher = {MCSS}, author = {Saoud, Adnane and Arcak, Murat}, }