Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
Verification of machine learning algorithms using symbolic logic
Aspinall, David
(Principal Investigator)
School of Informatics
Overview
Project Details
Status
Finished
Effective start/end date
2/09/20
→
1/05/24
Funding
Engineering and Physical Sciences Research Council:
£110,754.00
View all
View less