DKE research theme

Explainable and Reliable Artificial Intelligence (ERAI)

Two of the major challenges for Artificial Intelligence are to provide ‘explanations’ for recommendations made by intelligent systems, and guarantees of their ‘reliability’. Explanations are important to help people involved understand the reasons why a recommendation was made. Reliability is important when decisions concern people’s safety or profoundly affect their lives.

Highlighted publications

See all DKE publications

Software tools

Ariadne - A C++ library for formal verification of cyber-physical systems, using reachability analysis for nonlinear hybrid automata http://www.ariadne-cps.org/