CALF: Categorical automata learning framework

Gerco Van Heerdt, Matteo Sammartino, Alexandra Silva

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationComputer Science Logic 2017, CSL 2017
EditorsValentin Goranko, Mads Dam
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages1-24
Number of pages24
ISBN (Electronic)9783959770453
DOIs
Publication statusPublished - Aug 2017
Event26th Annual EACSL Conference on Computer Science Logic, CSL 2017 - Stockholm, Sweden
Duration: 20 Aug 201724 Aug 2017

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume82
ISSN (Print)1868-8969

Conference

Conference26th Annual EACSL Conference on Computer Science Logic, CSL 2017
Country/TerritorySweden
CityStockholm
Period20/08/1724/08/17

Keywords

  • Automata learning
  • Category theory

Cite this