Dr Mor Vered
Supervisor's projects
| Project name Sort descending | Type |
|---|---|
| Explainability and Compact representation of K-MDPs | Research project |
| Explainability and Compact representation of K-MDPs | Honours project |
| Explainable AI (XAI) as Model Reconciliation | Research project |
| Explainable AI (XAI) for Disobedient Robotics | Research project |
| Explainable Multi-Agent Path Finding (XMAPF) | Research project |
| Recognition and Generation of Suspicious Behaviour | Honours project |
Co-supervising
| Project name Sort descending | Type | Primary supervisor |
|---|---|---|
| Assured Neuro-symbolic Sequential Decision Making with Lipschitz Continuous Neural Networks | Research project | Buser Say |
| Assured Neuro-symbolic Sequential Decision Making with Physics Informed Neural Networks | Research project | Buser Say |
| Robust Neuro-symbolic Planning | Research project | Buser Say |
| Understanding the impact of network layout on cognitive understanding of Bayesian networks | Honours project | Michael Wybrow |