Supervisor: Prof. Ezio Bartocci
A Hybrid Framework for Implementing Normative Behaviour in Autonomous Cyber-Physical Systems
Recent advances in artificial intelligence have highlighted the crucial nature of developing verifiably safe and resilient technology, which behaves in a way that humans would consider ‘ethical’. In this project we focus on implementing and verifying normative behaviour autonomous cyber-physical systems through integrating technology from both the logical and stochastic approaches to AI.