Filter

  • Neuro-Symbolic Policy Learning and Representation for Interpretable and Formally-Verifiable Reinforcement Learning

    Project ID: STAI-CDT-2021-IC-24
    Themes: AI Planning, Logic, Verification
    Supervisor: Francesco Belardinelli

    The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including...

    Read more

  • Run-time Verification for Safe and Verifiable AI

    Project ID: STAI-CDT-2021-IC-23
    Themes: AI Planning, Logic, Verification
    Supervisor: Francesco Belardinelli

    The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including...

    Read more

  • Reward Synthesis from Logical Specifications

    Project ID: STAI-CDT-2021-IC-22
    Themes: AI Planning, Logic, Verification
    Supervisor: Francesco Belardinelli

    The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including...

    Read more

  • Specification, diagnosis and repair for deep learning systems

    Project ID: STAI-CDT-2021-IC-21
    Themes: Logic, Verification
    Supervisor: Dalal Alrajeh

    Recent times have witnessed a flurry of advancements in ML, enabling their widespread application in domains such healthcare, security and autonomous vehicles. However, this deployment has also come at cost, resulting in...

    Read more

  • Synthesizing and revising plans for autonomous robot adaptation

    Project ID: STAI-CDT-2021-IC-20
    Themes: AI Planning, Logic, Verification
    Supervisor: Dalal Alrajeh

    AI Planning is concerned with producing plans that are guaranteed to achieve a robot’s goals, assuming  the pre-specified assumptions about the environment in which it operates hold.  However, no matter how detailed these...

    Read more

  • Symbolic machine learning techniques for explainable AI

    Project ID: STAI-CDT-2021-KCL-15
    Themes: AI Planning, Verification
    Supervisor: Kevin Lano

    Machine learning (ML) approaches such as encoder-decoder networks and LSTM have been successfully used for numerous tasks involving translation or prediction of information (Otter et al, 2020). However, the knowledge...

    Read more

  • Explainable Safety, Security and Trust in Human-AI Systems

    Project ID: STAI-CDT-2021-KCL-13
    Themes: AI Planning, AI Provenance, Logic, Norms, Verification
    Supervisor: Luca Vigano

    Explanations can help all the stakeholders of AI systems and Cybersystems to make better choices. In particular, they can help human users to understand and trust the choices of autonomous systems or to interact in a safe...

    Read more

  • Discrete-continuous hybrid planning for adaptive systems

    Project ID: STAI-CDT-2021-IC-15
    Themes: AI Planning, Reasoning, Verification
    Supervisor: Antonio Filieri

    Adaptive cyber-physical systems rely on the composition and coordinated interaction of different decision-making procedures, each typically realized with specific AI methods. Cyber components capabilities and semantics are...

    Read more

  • Towards Trusted Epidemic Simulation

    Project ID: STAI-CDT-2021-IC-4
    Themes: Verification
    Supervisor: Wayne Luk

    Agent-based models (ABMs) are powerful methods to describe the spread of epidemics. An ABM treats each susceptible individual as an agent in a simulated world. The simulation algorithm of the model tracks the health status...

    Read more

  • Verifying Safety and Reliability of Robotic Swarms

    Project ID: STAI-CDT-2021-IC-6
    Themes: Logic, Verification
    Supervisor: Alessio Lomuscio

    The effective development and deployment of single-robot systems is known to be increasingly problematic in a variety of application domains including search and rescue, remote exploration, de-mining, etc. These and other...

    Read more

  • Verification of AI-based perception systems

    Project ID: STAI-CDT-2021-IC-7
    Themes: Logic, Verification
    Supervisor: Alessio Lomuscio

    State-of-the-art present perception systems, including those based on Lidar or cameras, are increasingly being used in a range of critical applications including security and autonomous vehicles. While the present deep...

    Read more

  • Safe Rational Interactions in Data-driven Control

    Project ID: STAI-CDT-2021-IC-8
    Themes: AI Planning, Logic, Verification
    Supervisor: Alessio Lomuscio

    In autonomous and multi-agent systems players are normally assumed rational and cooperating or competing in groups to achieve their overall objectives. Useful methods to study the resulting interactions come from game...

    Read more