Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems

Full project page

Organisations map overview