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 2 search result(s) for Formal Methods.
Guoray Cai
Associate Professor, College of Information Sciences and Technology
Top research keywords: Crisis Management, Geographic Information, Decision-Making, Multimodal Interface, Spatial Data
