Affiliated Researchers: Model Checking
Affiliates are Penn Staters who have a connection to or an interest in the work of the Institute of Energy and the Environment.
Displaying 1 search result(s) for Model Checking.
Vasant Honavar
Professor and Edward Frymoyer Chair of Information Sciences and Technology, College of Information Sciences and Technology
Top research keywords: Learning Algorithm, Ontology, Interface Residues, Data Source, Learning Classifiers