A
Menu
April 23, 2026 software Open access Aachen paper

SMT-Based Active Learning of Weighted Automata

Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19701329 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 Silva

Cited by 1 stored of 1

1 result

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

References 0