CALF: Categorical automata learning framework

Gerco Van Heerdt; Matteo Sammartino; Alexandra Silva

doi:10.4230/LIPIcs.CSL.2017.29

CALF: Categorical automata learning framework

Gerco Van Heerdt, Matteo Sammartino, Alexandra Silva

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Computer Science Logic 2017, CSL 2017
Editors	Valentin Goranko, Mads Dam
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages	1-24
Number of pages	24
ISBN (Electronic)	9783959770453
DOIs	https://doi.org/10.4230/LIPIcs.CSL.2017.29
Publication status	Published - Aug 2017
Event	26th Annual EACSL Conference on Computer Science Logic, CSL 2017 - Stockholm, Sweden Duration: 20 Aug 2017 → 24 Aug 2017

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	82
ISSN (Print)	1868-8969

Conference

Conference	26th Annual EACSL Conference on Computer Science Logic, CSL 2017
Country/Territory	Sweden
City	Stockholm
Period	20/08/17 → 24/08/17

Keywords

Automata learning
Category theory

Access to Document

10.4230/LIPIcs.CSL.2017.29Licence: CC BY

Cite this

Van Heerdt, G., Sammartino, M., & Silva, A. (2017). CALF: Categorical automata learning framework. In V. Goranko, & M. Dam (Eds.), Computer Science Logic 2017, CSL 2017 (pp. 1-24). Article 29 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 82). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2017.29

@inproceedings{d3cc08fc86d54c2bbf28762f5f585b79,

title = "CALF: Categorical automata learning framework",

keywords = "Automata learning, Category theory",

author = "{Van Heerdt}, Gerco and Matteo Sammartino and Alexandra Silva",

year = "2017",

month = aug,

doi = "10.4230/LIPIcs.CSL.2017.29",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

pages = "1--24",

editor = "Valentin Goranko and Mads Dam",

booktitle = "Computer Science Logic 2017, CSL 2017",

note = "26th Annual EACSL Conference on Computer Science Logic, CSL 2017 ; Conference date: 20-08-2017 Through 24-08-2017",

}

Van Heerdt, G, Sammartino, M & Silva, A 2017, CALF: Categorical automata learning framework. in V Goranko & M Dam (eds), Computer Science Logic 2017, CSL 2017., 29, Leibniz International Proceedings in Informatics, LIPIcs, vol. 82, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 1-24, 26th Annual EACSL Conference on Computer Science Logic, CSL 2017, Stockholm, Sweden, 20/08/17. https://doi.org/10.4230/LIPIcs.CSL.2017.29

CALF: Categorical automata learning framework. / Van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra.
Computer Science Logic 2017, CSL 2017. ed. / Valentin Goranko; Mads Dam. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. p. 1-24 29 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 82).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - CALF

T2 - 26th Annual EACSL Conference on Computer Science Logic, CSL 2017

AU - Van Heerdt, Gerco

AU - Sammartino, Matteo

AU - Silva, Alexandra

PY - 2017/8

Y1 - 2017/8

KW - Automata learning

KW - Category theory

U2 - 10.4230/LIPIcs.CSL.2017.29

DO - 10.4230/LIPIcs.CSL.2017.29

M3 - Conference contribution

AN - SCOPUS:85028714426

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 1

EP - 24

BT - Computer Science Logic 2017, CSL 2017

A2 - Goranko, Valentin

A2 - Dam, Mads

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Y2 - 20 August 2017 through 24 August 2017

ER -