A
Menu
May 04, 2026 software Open access Aachen paper

SMT-Based Active Learning of Weighted Automata

Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.20030743 Full text (OA) OpenAlex

Authors 3

  1. Tiago Ferreira

    University College London

    Affiliation as printed

    University College London

  2. Kevin Batz Aachen

    RWTH Aachen University · University College London

    Affiliation as printed

    RWTH Aachen University

    University College London

  3. Alexandra María Franca Santos Da Silva

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0