Active automata learning with Partial Max-SAT from noisy data

TUGraz OPEN Library (Graz University of Technology) 2026 Open access

Read full text
Authors: Maximilian Rindler
DOI: 10.3217/t8aqc-x8424
Cited by: 0

Fields of Study & Subjects

semigroups and automata theory Formal Methods in Verification Machine Learning and Algorithms

Publication details

Journal / source
TUGraz OPEN Library (Graz University of Technology)
Publication date
10 February 2026
Language
EN