Affiliated Researchers: Formal Methods
Affiliates are Penn Staters who have a connection to or an interest in the work of the Institute of Energy and the Environment.
Displaying 3 search result(s) for Formal Methods.
Yan Li
Assistant Professor, Electrical Engineering
Top research keywords: Microgrids, Energy Resources, Microgrid, DC-DC Converter, Wind Power
Guoray Cai
Associate Professor, College of Information Sciences and Technology
Top research keywords: Decision Making, Geographic Information Systems, Geographical Information System, Decision Theory, Information Systems
