Submitted by Pierluigi Nuzzo on Wed, 05/08/2024 - 15:21 Collaborative Research: CPS: Medium: ASTrA: Automated Synthesis for Trustworthy Autonomous Utility Services 2139982 Contributors: Pierluigi Nuzzo Yasser Shoukry Nuno C. Martins Sponsors: National Science Foundation Core Areas: