CONtext-aware VerifIable dyNamiC dEliberation

Deliverables

Report on the technical specification translated from the use case highlevel requirements and the ethical and regulatory perspectives First release

Report presenting the specification language and translation tool used to describe temporal properties

Report presenting the modelling language and translation tools used to describe knowledge about tasks skills robot and environment

Report collecting the highlevel requirements for the use cases

Report describing the knowledge graph to support situation representation at run time First release

Report on the specifications for the toolchain design First release