Khajenejad, Mohammad, and Yong, Sze Zheng. Tight Remainder-Form Decomposition Functions With Applications to Constrained Reachability and Guaranteed State Estimation. Retrieved from https://par.nsf.gov/biblio/10483291. IEEE Transactions on Automatic Control 68.12 Web. doi:10.1109/TAC.2023.3250515.

Khajenejad, Mohammad, & Yong, Sze Zheng. Tight Remainder-Form Decomposition Functions With Applications to Constrained Reachability and Guaranteed State Estimation. IEEE Transactions on Automatic Control, 68 (12). Retrieved from https://par.nsf.gov/biblio/10483291. https://doi.org/10.1109/TAC.2023.3250515

Khajenejad, Mohammad, and Yong, Sze Zheng. "Tight Remainder-Form Decomposition Functions With Applications to Constrained Reachability and Guaranteed State Estimation". IEEE Transactions on Automatic Control 68 (12). Country unknown/Code not available: IEEE. https://doi.org/10.1109/TAC.2023.3250515. https://par.nsf.gov/biblio/10483291.

@article{osti_10483291,
place = {Country unknown/Code not available}, title = {Tight Remainder-Form Decomposition Functions With Applications to Constrained Reachability and Guaranteed State Estimation}, url = {https://par.nsf.gov/biblio/10483291}, DOI = {10.1109/TAC.2023.3250515}, abstractNote = {}, journal = {IEEE Transactions on Automatic Control}, volume = {68}, number = {12}, publisher = {IEEE}, author = {Khajenejad, Mohammad and Yong, Sze Zheng}, }