Virtual Machine for TreeLearn 0.1 (FoSSaCS 2026 artifact)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Adrien Pommellet, Amazigh Amrane
DOI: 10.5281/zenodo.18175342
Cited by: 0

Abstract

TreeLearn 0.1 The purpose of this tool is to learn a Pomset Recognizer (PR) or a Tree Automaton (TA, not implemented yet) by querying a Minimally Adequate Teacher (MAT). For more details, please read the companion article:Active Learning Techniques for Pomset Recognizers The tool can be found in repertory "~/Downloads/treelearn". The login and password of the default user are: “treelearn” / “treelearn”.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
7 January 2026