grant
ARIA TA1.1: Supermartingale Certificates for Temporal Logic
Metadata
| Source Table | grants |
| Source ID | JtYT8XwRwS |
| Description | to University of Oxford, 2024-06 |
| Source URL | www.aria.org.uk/programme-safeguarded-ai/ |
| Parent | Advanced Research and Invention Agency |
| Children | — |
| Created | Mar 22, 2026, 5:09 PM |
| Updated | Mar 22, 2026, 6:25 PM |
| Synced | Mar 22, 2026, 6:25 PM |
Record Data
id | JtYT8XwRwS |
organizationId | Advanced Research and Invention Agency (ARIA)(organization) |
granteeId | University of Oxford(organization) |
orgEntityId | Advanced Research and Invention Agency (ARIA)(organization) |
orgDisplayName | — |
granteeEntityId | University of Oxford(organization) |
granteeDisplayName | — |
name | ARIA TA1.1: Supermartingale Certificates for Temporal Logic |
amount | — |
currency | GBP |
period | — |
date | 2024-06 |
status | — |
source | www.aria.org.uk/programme-safeguarded-ai/ |
notes | [Safeguarded AI TA1.1] Supermartingale Certificates for Temporal Logic. Lead(s): Mirco Giacobbe, Diptarko Roy, Alessandro Abate. Institutions: University of Birmingham / University of Oxford. Status: closed. |
programId | VpM42-Oye3 |
dataSourceId | — |
Source Check Verdicts
partial50% confidence
Last checked: 4/13/2026
[deterministic-row-match] Partial deterministic match: grantee matched but name did not (48 rows)
Debug info
Thing ID: JtYT8XwRwS
Source Table: grants
Source ID: JtYT8XwRwS