nmvdw/LinearRealizability: v1
Fields of Study & Subjects
semigroups and automata theory
Formal Methods in Verification
Neural Networks and Applications
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 28 January 2026