Our proposal “A Formal Verification and Synthesis Tool for Safety Critical Power Grid Infrastructures and Cyber-Physical Systems” has been selected to receive a research seed grant from the Siebel Energy Institute in the amount of $50,000. Details can be found on this webpage!