Index
Advanced Research and Invention Agency (ARIA) record
Verdictunverifiable85%
3 checks · 1 src · 6/29/20261 → unverifiable; stale (excluded): 1 → confirmed, 1 → partial
Our claim
entire record- Name
- ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] Syntax and Semantics for Multimodal Petri Nets. Lead(s): Amar Hadzihasanovic, Diana Kessler. Institutions: Tallinn University of Technology. Status: active.
Source evidence
1 src · 3 checksconfirmed95%deterministic-row-match · 6/29/2026
- Grantee
- Tallinn University of Technology
- Focus Area
- TA1.1
- Name
- Syntax and Semantics for Multimodal Petri Nets
- Description
- Tallinn University of Technology
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable85%Haiku 4.5 · 6/29/2026
NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.
partial95%qua650-retro-scan-subject-identity · 4/21/2026
NoteQUA-650 retro-scan: The claim is about a specific grant (TA1.1: Syntax and Semantics for Multimodal Petri Nets) from ARIA to Tallinn University of Technology, while the source is about the Safeguarded AI programme within ARIA. Per QUA-648, programmes and specific initiatives within an organization count as different entities from the parent organization itself. The source does not discuss the TA1.1 grant or Tallinn University of Technology.
Case № HG9VPbcq6rFiled 6/29/2026Confidence 85%