Scalable and Safe Control Synthesis for Systems with Symmetries Download pdf Tags: formal methods electric power systems 1837680 2020 CPS PI Meeting 2020 Poster U.S. Government NSF Posters License: CC-2.5 Submitted by Necmiye Ozay on Fri, 01/10/2020 - 14:38