SOURCE-LINKED INTELLIGENCE
Logic and Automata over Sequences with Data
he project is to transfer new algorithmic insights to the following important application domains: (1) querying graph databases, (2) verification of list-manipulating programs, and (3) interpretable machine learning for sequences. Logic, Automata, Data Words, Decidable Theory, Verification
Read original source ↗ Open in workspace
- recordType
- award
- status
- SIGNED
- region
- EU
- value
- 1998956
- unit
- EUR
Evidence & attribution
European Commission, CORDIS Horizon Europe project dataset. Metadata adapted.
License: CORDIS reuse policy
First collected: 2026-09-20T01:21:06.728Z. This is not the publication date.