US Patent Issued to Skydio on July 8 for "Computer-implemented symbolic differentiation using first-order retraction" (California Inventors)

ALEXANDRIA, Va., July 9 -- United States Patent no. 12,353,504, issued on July 8, was assigned to Skydio Inc. (San Mateo, Calif.).

"Computer-implemented symbolic differentiation using first-order retraction" was invented by Hayk Martirosyan (San Francisco), Aaron Christopher Miller (San Francisco), Nathan Leo Bucki (San Mateo, Calif.), Bradley Matthew Solliday (San Francisco), Ryan David Kennedy (San Francisco), Jack Louis Zhu (San Mateo, Calif.), Teodor Tomic (Redwood City, Calif.), Yixiao Sun (Stanford, Calif.), Josiah Timothy VanderMey (Redwood City, Calif.), Gareth Benoit Cross (San Carlos, Calif.), Peter Benjamin Henry (San Francisco), Dominic William Pattison (Cupertino, Calif.), Samuel Shenghung Wang (Mountain View, Calif.), Kristen...