PRINCESS

Overview

PRINCESS (Probabilistic Representation of Intent Commitments to Ensure Software Survival) is a project under the DARPA BRASS (Building Resource Adaptive Software Systems) program. It is led by Charles River Analytics and involves partners from the university of Birmingham, Harvard University and the University of Southern California.

The overall aim of the project is to develop adaptive software systems for operation in dynamic and uncertain environments, underpinned by rigorous formal verification methods which ensure the correctness of the adaptation process. The work will involve developing techniques that combine verification with probabilistic modelling and inference, with a particular preference for the use of probabilistic programming languages.

Publications

4 publications: