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