Supervisor's projects
Project name Sort ascending | Type |
---|---|
Improving Satisfiability Solving in Python | Honours project |
Formal Explainability in Artificial Intelligence | Research project |
Efficient Incrementality in Learning Solvers | Research project |
Efficient exploration of consistent worlds | Honours project |
Co-supervising
Project name Sort ascending | Type | Primary supervisor |
---|---|---|
Building consistent world states for an autonomous agent | Honours project | Maria Garcia De La Banda |