Matteo Sammartino
AuthID: R-00H-477
11
TITLE: CALF: Categorical Automata Learning Framework PDF
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.05676
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.05676
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv12
TITLE: Learning Automata with Side-Effects PDF
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.08055
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.08055
INDEXED IN: DBLP arXiv
DBLP arXiv13
TITLE: CALF: Categorical Automata Learning Framework
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, VOLUME: 82
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, VOLUME: 82
INDEXED IN: DBLP
DBLP