Our CPS-Medium proposal on “ASTrA: Automated Synthesis for Trustworthy Autonomous Utility Services” has been funded by NSF! This project aims to develop a new set of tools and methodologies for the automated synthesis of distributed decision-making agents. The project will explore the use of population games to design new distributed decision-making algorithms, the use of systematic, layered methodology to automate the synthesis and verification of such agents, along with cutting-edge computational tools to facilitate our methodology. We will evaluate our work on real testbeds designed for zero-net-energy applications. This is a collaborative project with Pierluigi Nuzzo (USC) and Nuno Martins (UMD).