Public deliverables
Deliverable No |
Deliverable name |
Due date (months) |
| D2.1 | Requirements | 12 |
| D2.2 | Specification and Modelling languages | 12 |
| D2.3 | Set of specifications and world models | 27 |
| D2.4 | Requirements – update | 19 |
| D3.1 | Robustify information retrieval | 18 |
| D3.2 | Logic-assisted Agents and Chain-of-thought reasonin | 30 |
| D3.3 | Logic-assisted Agents and Chain-of-thought reasoning | 30 |
| D3.4 | Human-centric design methods for GenAI | 18 |
| D3.5 | Tools and fine-tuning, robustifying, and aligning GenAI | 30 |
| D4.1 | Falsification Techniques | 18 |
| D4.2 | Statistical Verification | 30 |
| D4.3 | Verification via Abstraction-Refinement | 30 |
| D4.4 | Proof-Producing GenAI | 18 |
| D4.5 | Real-world Verification Methodologies | 30 |
| D5.1 | Runtime detection of Novel Scenarios | 18 |
| D5.2 | Runtime detection of failures | 30 |
| D5.3 | Runtime Enforcement | 30 |
| D5.4 | Framework for monitoring GenA | 30 |
| D6.1 | UC indus. requirement & evaluation metrics | 12 |
| D6.2 | Test cases and validation scenarios for use case | 18 |
| D6.6 | Use Case demo report | 36 |
| D7.1 | Report on the initial communication set | 3 |
| D7.3 | RobustifAI roadmap | 36 |
| D7.4 | Proposal for standardisation/certification | 30 |
| D7.5 | White paper on Robust AI | 36 |