Travelled to:
1 × United Kingdom
Collaborated with:
A.S.0001 N.Hoch U.Montanari G.v.Heerdt L.D'Antoni T.Ferreira J.Moerman B.Klin Michal Szynwelski
Talks about:
automata (3) nomin (2) learn (2) framework (1) program (1) categor (1) symbol (1) regist (1) graph (1) dynam (1)
Person: Matteo Sammartino
DBLP: Sammartino:Matteo
Contributed to:
Wrote 4 papers:
- GaM-2015-HochMS #graph #programming
- Dynamic Programming on Nominal Graphs (NH, UM, MS), pp. 80–96.
- CSL-2017-HeerdtS0 #automaton #category theory #framework #learning #named
- CALF: Categorical Automata Learning Framework (GvH, MS, AS0), p. 24.
- CAV-2019-DAntoniFS0 #automaton
- Symbolic Register Automata (LD, TF, MS, AS0), pp. 3–21.
- POPL-2017-MoermanS0KS #automaton #learning
- Learning nominal automata (JM, MS, AS0, BK, MS), pp. 613–625.